Es stellt sich heraus, dass es sich nicht um denselben Fehler handelt, also müssen wir dies offen lassen. @xrav3nz konnte dies reproduzieren und wird sich vielleicht bald darum kümmern, es zu beheben 
4 „Gefällt mir“