Hi, Forgotten patch:
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=63205#11 The supplied patch by Alice works and looks good to me. Can somebody please have a look and consider committing it? Thanks! Cheers, Remco
Hi, Forgotten patch:
https://debbugs.gnu.org/cgi/bugreport.cgi?bug=63205#11 The supplied patch by Alice works and looks good to me. Can somebody please have a look and consider committing it? Thanks! Cheers, Remco