stackless-dev/stackless

Patch Tools/scripts/patchcheck.py to use branch "main" instead of "master"

akruis opened this issue · 1 comments

akruis commented

There is no usable fix from upstream. Therefore I'll just change the hard-coded name.

akruis commented

Done