|
From: | GNU bug Tracking System |
Subject: | bug#59931: closed (30.0.50; [PATCH] Tweak various ts-modes indent and font-lock) |
Date: | Mon, 12 Dec 2022 22:23:02 +0000 |
Your message dated Mon, 12 Dec 2022 14:22:02 -0800 with message-id <E72D6B52-D0EF-44E3-89ED-6B8C978BF71D@gmail.com> and subject line Re: bug#59931: 30.0.50; [PATCH] Tweak various ts-modes indent and font-lock has caused the debbugs.gnu.org bug report #59931, regarding 30.0.50; [PATCH] Tweak various ts-modes indent and font-lock to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 59931: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=59931 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems
--- Begin Message ---Subject: 30.0.50; [PATCH] Tweak various ts-modes indent and font-lock Date: Fri, 09 Dec 2022 22:38:36 +0100 Hi! Yet some more tweaks - please apply when you find some time :-) Theo0001-Tweak-various-ts-modes-indent-and-font-lock.patch
Description: Text Data
--- End Message ---
--- Begin Message ---Subject: Re: bug#59931: 30.0.50; [PATCH] Tweak various ts-modes indent and font-lock Date: Mon, 12 Dec 2022 14:22:02 -0800 Theodor Thornhill <theo@thornhill.no> writes: > Hi! > > Yet some more tweaks - please apply when you find some time :-) > > Theo > Brilliant, thank you! I applied the patch. Yuan
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |