Am Dienstag, 15. Dezember 2020, 20:17:00 CET schrieb Simon Becherer:
Am 15.12.20 um 19:54 schrieb Frank Krüger:
so question is, why is the site not updated, (is jimmy still online?)
Jimmy is still active, and just fixed another issue in the last days.
Note that the bug was closed only two days ago, so maybe a bit of
patience might help ;-)
On a more positive note, bug#755845 keeps me very fit running to and fro
the datacentre because I keep forgetting to mount /dev/pts myself.
[Per Jessen in opensuse-factory]