Fix #1313: Remove UI as the checkbox is no longer backed by a config …#1369

Merged

tobiasdiez merged 1 commit intomasterfrom fix-1313

May 10, 2016

+1-24

Commits on May 9, 2016

Fix #1313 : Remove UI as the checkbox is no longer backed by a config option
simonharrer
committed