Skip to content
Back to pull request #3765

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

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 #4340

Render PEPs (3.x)

Render PEPs (3.x)
succeeded Apr 28, 2024 in 1m 24s