> From: Vincenzo Pupillo <v.pupi...@gmail.com> > Cc: 72...@debbugs.gnu.org > Date: Thu, 05 Sep 2024 21:16:29 +0200 > > Hi Eli, I followed your suggestion and moved the CONFIG argument. I also > added > a new entry to the NEWS file.
Thanks, installed on the master branch, and closing the bug. Please in the future try to adhere to our conventions of leaving two spaces between sentences (I fixed that in this patch).
