Skip to content

Bump rigour from 0.8.1 to 0.8.2#600

Closed
dependabot[bot] wants to merge 1 commit intomainfrom dependabot/pip/rigour-0.8.2

Commits

Commits on Dec 12, 2024