Wechseln zwischen Discourse-Release-Kanälen / -Versionen

Theoretisch sollte dies niemals erforderlich sein. Der Launcher erkennt automatisch eine veraltete Kopie und führt selbstständig git pull aus:

1 „Gefällt mir“