Skip to content
Back to pull request #3765

Infra: Use an option instead of argument in banner directives #4349

Sign in to view logs

Infra: Use an option instead of argument in banner directives

Infra: Use an option instead of argument in banner directives #4349

Render PEPs (3.13-dev)

Render PEPs (3.13-dev)
succeeded May 6, 2024 in 2m 53s