Skip to content

Make "!buildbot" command ignores the case#409

Merged
vstinner merged 1 commit intopython:mainfrom
vstinner:ignorecase
Sep 28, 2023
Merged

Make "!buildbot" command ignores the case#409
vstinner merged 1 commit intopython:mainfrom
vstinner:ignorecase

Commits

Commits on Sep 28, 2023