On 16.07.20 23:27, Urs Liska wrote:
I could not reproduce this with 2.21.3, which I just downloaded. Could you please try that too? If it's something that was present from 2.21.0 to 2.21.2 but not now anymore I wouldn't bother investigating more closely.
Of course. And indeed, neither 2.20.0 nor 2.21.3 exhibit the problem. Thanks and best regards to Freiburg, Simon