Am 20.10.23 um 18:22 schrieb Aaron M. Ucko:
Thanks! To confirm, I don't need to do anything active here, just leave this bug open at RC severity and reencourage drawxtl to migrate?
You can also file a RM bug yourself, which would be better from a process perspective. I have only announced filing it in case nobody acts on the request.
