>>>>> "Peter" == Peter Seiderer <ps.report at gmx.net> writes: > For details see [1]. > [1] https://lists.gnu.org/archive/html/info-gnu/2023-03/msg00005.html > Signed-off-by: Peter Seiderer <ps.report at gmx.net> Committed, thanks. -- Bye, Peter Korsgaard