Merge branch 'revert-6647d16a' into 'master'
Revert "Merge branch 'placate-pylint' into 'master'" See merge request inducer/pymbolic!59
Loading
Please register or sign in to comment
Revert "Merge branch 'placate-pylint' into 'master'" See merge request inducer/pymbolic!59