|
| From: | Jean Abou Samra |
| Subject: | Re: [PATCH] Properly display locations in "source vector" form. |
| Date: | Fri, 26 Aug 2022 12:54:47 +0200 |
| User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.12.0 |
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.
| [Prev in Thread] | Current Thread | [Next in Thread] |