thanks btw maybe we should have a tag for when an issue in

thanks, btw, maybe we should have a tag for when a...

Phorcys

08/10/2022, 7:14 AM

thanks, btw, maybe we should have a tag for when an issue in #1006346052317753414 is resolved ?