On Wed, Jan 12, 2022 at 12:48:26PM +0100, Rostislav Svoboda wrote: > It works now. We can close this bug. Thank you for fixing it.
Anybody can close the bug by sending a message to <[email protected]>, like I am doing now. This is described here: https://debbugs.gnu.org/server-control.html
