On 2/8/20 9:57 AM, Jürgen Spitzmüller wrote: > Am Freitag, den 07.02.2020, 10:21 +0100 schrieb Stephan Witt: >> I’ve commit and pushed the fix to master (59fa0b2592). > This should also go to stable. He did that, and I've cherry picked it. Riki