From eb4cdab9c6b8ff66bb4667cc6195d2c366122540 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tom=C3=A1s=20Touceda?= Date: Fri, 4 Apr 2014 16:57:19 -0300 Subject: Fold in changes --- changes/do_not_do_native_menu_in_linux | 1 - 1 file changed, 1 deletion(-) delete mode 100644 changes/do_not_do_native_menu_in_linux (limited to 'changes/do_not_do_native_menu_in_linux') diff --git a/changes/do_not_do_native_menu_in_linux b/changes/do_not_do_native_menu_in_linux deleted file mode 100644 index 2a117a7e..00000000 --- a/changes/do_not_do_native_menu_in_linux +++ /dev/null @@ -1 +0,0 @@ -- Workaround a bug in Ubuntu where the menu is not displayed in the global menu bar. Fixes #5420. \ No newline at end of file -- cgit v1.2.3