Wie bereits gestern angekündigt ist heute früh, nach deutscher Zeit, die Version 1.5.17 erschienen. In dieser Version wurden die vorher gennanten zwei Fehler beseitigt.

Diejenigen, die auf diese Version gewartet haben, empfehlen wir das Update jetzt einzuspielen.
Das angebotene Update aktualisiert die Version 1.5.15 auf 1.5.17.