haha ja, ich denke, das ist definitiv das Problem… danke, dass du darauf hingewiesen hast
Es ist ein Randfall, aber wir können dem vorbeugen. Ich habe gerade ein Update gemerged, das den Fehler in Zukunft verhindert: