Re: [PATCH] Properly display locations in "source vector" form.

Fri, 26 Aug 2022 03:55:03 -0700 



Le 26/08/2022 à 12:50, lloda a écrit :

Ah this one has been bugging me. Applied in 
eb5ecf4944cd646341f7e47dda5396cf96a4b8a3.

Thank you!


This likely fixes https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56493.























					Reply via email to