15 Dec
2020
15 Dec
'20
21:24
Hello, Am Dienstag, 15. Dezember 2020, 20:17:00 CET schrieb Simon Becherer:
Am 15.12.20 um 19:54 schrieb Frank Krüger:
It was allegedly fixed, see https://bugzilla.opensuse.org/show_bug.cgi?id=1157722
that's great!!
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 ;-) Regards, Christian Boltz -- 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]