Closed cmccandless closed 3 years ago
I made a mistake and deleted my fork before this PR could be merged. If this causes issues, I can recreate it and this PR, just ping me.
@cmccandless If there are tracks where things are approved but you can't merge, please let me know. I approved presuming you could merge at your will, but I'm now unsure if that's the case!
I can only merge python, related tooling repos, v3, and problem-spec.
I was assuming you were waiting on a maintainer to review! 😅
If no-one else has reviewed after like a week, tag me and I'll merge!
Yeah sorry about that @cmccandless, (as you can see) I haven't poked at this project in a long while.
Resolves #9