Made ManualSwitch non-final to make GUIManualSwitch possible
authorDaniel Kirschten <daniel.kirschten@gmx.de>
Wed, 15 May 2019 09:13:35 +0000 (11:13 +0200)
committerDaniel Kirschten <daniel.kirschten@gmx.de>
Wed, 15 May 2019 09:13:35 +0000 (11:13 +0200)

No differences found