Hallo Thomas,
auch wenn das Problem offenbar nur sporadisch auftritt, sollte man es
doch den Entwicklern melden, finde ich. Zumal Du es doch gut eingegrenzt
hast. Magst Du nicht einen Issue dazu schreiben?
Notfalls kann ich das auch machen (obwohl ich damit auch keine Erfahrung
habe), allerdings frühestens heute abend oder am WE.
Schöne Grüße
Barbara
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
