Robert Pluim <rpl...@gmail.com> writes: >>>>>> On Tue, 24 Jan 2023 10:29:17 +0100, Arash Esbati <ar...@gnu.org> said: > > I didnʼt miss it, it was next on my list,
Sorry for my wrong assumption here. > Of course my fixes are incomplete, as Ihor has pointed out, so more > work is needed there. 😀 I know why I volunteered for the change I suggested 😉 > Arash> +use it to set a major mode there, e.g., > > I prefer ':' to ',' in such situations, but I donʼt recall what the > official position is (if there is one). -> git --no-pager grep "e.g.:$" | wc -l 13 -> git --no-pager grep "e.g.,$" | wc -l 49 ':' would have been my preference my well. Best, Arash
