Am So., 5. Mai 2019 um 20:51 Uhr schrieb Marton Balint <cus at passwd.hu>: > > This reverts commit dd06f022b07438d650c82255dff16908ba04244a. > > Fixes ticket #7871 and reopens ticket #7816. I'll send an alternative patch in a moment. Carl Eugen