Über 5.0-679

Version
5.0-679
Entwicklungszweig
master
Zeitpunkt
8 Jahre, 2 Monate her
Windows x64 Mac OS X
Commit
e7aad130e939d9ddd281f0c93b81da1af793d82a
Author der Änderung
Markus Wick
Beschreibung der Änderung 
Merge pull request #4243 from leoetlino/signal-headless

MainNoGUI: Shut down cleanly on SIGINT/SIGTERM