Made ManualSwitch non-final to make GUIManualSwitch possible
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Wed, 15 May 2019 21:14:55 +0000 (23:14 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Wed, 15 May 2019 21:14:55 +0000 (23:14 +0200)

No differences found