Neue Fragen mit entwicklerversion-Tag

Keine Frage, sondern ein Kommentar: Ab und zu wird hier ein " git pull " empfohlen, wenn man ein Problem mit einem Bug hat, welcher in der Entwicklerversion schon behoben...