Hi Mathieu,

ok, thank you. If there's anything I can do to move this forward, please
let me know.

Thanks for your help!

Roman


On Wed, Jan 10, 2024 at 2:23 PM Mathieu Othacehe <othacehe@gnu.org> wrote:

>
> Hello,
>
> > It looks like this issue is now marked as "done" on Debuggs.
> > How can we proceed with this?
>
> I will re-open it as soon as debbugs is back.
>
> Mathieu
>