Meine Erwartung, dass der PR gemerged und das Problem behoben war, basierte auf dem #fixed-Tag, nicht darauf, dass das Thema geschlossen war. Ich glaube, das Thema wurde auch vor dem Merge der Lösung erneut geschlossen 
@Canapin es wurde gemerged, also könntest du es vielleicht nochmal versuchen.