> https://github.com/python-trio/trio/pull/2928 might be a workaround we > could take if upstream takes it, but nevertheless what Trio is currently > doing is certainly not wrong, and so "grave" seems inappropriate.
Upstream picked it up, it's in the 0.26 release. -- Arnaud Rebillout / OffSec / Kali Linux Developer
