Re: Debbugs problems

[Eli Zaretskii]

> From: Michael Albinus <address@hidden>
> Date: Fri, 10 May 2019 16:24:14 +0200
> Cc: Eli Zaretskii <address@hidden>, address@hidden,
>       Toon Claes <address@hidden>, address@hidden, address@hidden
> 
> Since this is the most demanding request for debbugs, we should
> implement this on our own, if it doesn't work yet in the Debian debbugs
> version.

I agree.  let's do that sooner rather than later.

Thanks.