Skip to content

Conversation

inducer
Copy link
Owner

@inducer inducer commented Apr 10, 2022

cf. #930

@inducer inducer enabled auto-merge (rebase) April 10, 2022 19:24
@inducer inducer merged commit 97c5a2d into main Apr 10, 2022
@inducer inducer deleted the pre-trusted-html branch April 10, 2022 19:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant