Closed isospin closed 2 years ago
Ich komme hier nur auf der Suche nach lange offenen PRs vorbei und möchte vorschlagen, den PR entweder zu mergen oder zu schließen. Es fehlt zwar ein Hinweis auf die Problemlösung, aber zumindest kann der Text bei der Problemsuche hilfreich sein. Vorschlag deshalb: Merge.
Hinweis auf eine mögliche Fehlerquelle bei der Synchronisation.