Alexandre Ghiti Fri, 18 Mar 2022 01:57:16 -0700
Hi guys, I don't mean to pressure you, I'd like to know if we (ubuntu) should take the delta proposed above or do you intend to push the fix soon? It has been blocking pygments migration for 1 month now.
Thanks, Alex
