|
From: | Eli Zaretskii |
Subject: | bug#44108: Patch for this bug |
Date: | Sat, 14 Nov 2020 15:04:40 +0200 |
> Date: Sat, 07 Nov 2020 10:17:15 +0200 > From: Eli Zaretskii <eliz@gnu.org> > Cc: 44108@debbugs.gnu.org > > Ping! Could someone please chime in? > If no comments are heard, I will push this change conditioned on a new > defcustom, in one week's time. Done.
[Prev in Thread] | Current Thread | [Next in Thread] |