Dies wurde durch zahlreiche Änderungen im betroffenen Bereich zur gleichen Zeit, als daran gearbeitet wurde, ziemlich stark verzögert. Diese PRs wurden zu veraltet, um sie wiederzubeleben — und ich bemerkte auch, dass ich selbst dafür verantwortlich war, dass diese verzögert wurden, da ich diejenige war, die alle Änderungen in diesem Bereich vornahm. Also habe ich mich darum gekümmert und gerade einen Fix gemerged.
Ich bin der Ansicht, dass dies korrekt ist, und bin mir auch nicht sicher, ob es aktuell noch kaputt war. Auf jeden Fall sollte es definitiv könnte es nach diesem Merge behoben sein.