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