Skip to content

Close PRs when PR opened#6

Merged
hugovk merged 1 commit intopython:mainfrom
hugovk:trigger-close-on-open
Oct 30, 2024
Merged

Close PRs when PR opened#6
hugovk merged 1 commit intopython:mainfrom
hugovk:trigger-close-on-open

Commits

Commits on Oct 1, 2024