Bin mir auch nicht sicher, ob das jemals behoben wird. Das Release ist vermutlich jetzt einfach passiert, weil sie gemerkt haben, dass ihr Ruf eh hin ist und egal was sie machen den Port eh nicht mehr vernünftig hinbekommen. Nunja.