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 <53184-d...@debbugs.gnu.org>, like I am doing now. This is described here: https://debbugs.gnu.org/server-control.html
