Dear, On Tue, 20 Oct 2020 at 19:09, Malte Frank Gerdes <malte.f.ger...@gmail.com> wrote:
> Many apologies, i completely missed your answer! :/ Hum? 4 days do seem not missed. :-D > The same thing got reported as #44098, is it possible to merge those > issues? Please give a look at: <https://debbugs.gnu.org/server-control.html> Basically, you need to send to <cont...@debbugs.gnu.org> the message containing: merge 43448 44098 thanks (I never know if the order matters even if the doc says "reflexive, transitive and symmetric". :-)) All the best, simon