Git commit ec122b772557a4409a6ec310e55217c0e6987df8 by Thomas Friedrichsmeier. Committed on 12/11/2015 at 19:52. Pushed by tfry into branch 'master'. Merge branch 'work/workspace_browser_redesign' http://commits.kde.org/rkward/ec122b772557a4409a6ec310e55217c0e6987df8