Ich habe aus einer authorativen Quelle gehört, dass wir einen entsprechenden patch vermutlich am schnellsten ins
JEDI bekommen, wenn es einen Git Pull Request gibt der auf den Bugtracker Eintrag verweist...
=> besser nicht auf ein evtl. nie erscheinendes Windows Update warten...