https://pantsbuild.org/ logo
#development
Title
# development
h

hundreds-father-404

04/27/2020, 1:07 AM
Interesting. With the second proposal, I agree it would be better to implant that in python than rust to avoid making the rust code for complex. The deregistering approach seems simpler, but worth considering both.