glad to see this has sprung back into life. Debian bug number is marked as fixed. Should we close this ticket as well? What is the status? Sebastian, Hans-Jürgen?
glad to see this has sprung back into life. Debian bug number is marked as fixed. Should we close this ticket as well? What is the status? Sebastian, Hans-Jürgen?