https://bugs.kde.org/show_bug.cgi?id=419072
David Redondo <k...@david-redondo.de> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|--- |FIXED Latest Commit| |https://commits.kde.org/spe | |ctacle/6c0aa6ec8ac8065747ca | |fe814002cec05aa34903 Status|REPORTED |RESOLVED --- Comment #2 from David Redondo <k...@david-redondo.de> --- Git commit 6c0aa6ec8ac8065747cafe814002cec05aa34903 by David Redondo. Committed on 22/03/2020 at 16:58. Pushed by davidre into branch 'release/20.04'. Make region options exclusive again M +12 -0 src/Gui/SettingsDialog/GeneralOptions.ui https://commits.kde.org/spectacle/6c0aa6ec8ac8065747cafe814002cec05aa34903 -- You are receiving this mail because: You are watching all bug changes.