diff options
Diffstat (limited to 'changes/do_not_do_native_menu_in_linux')
| -rw-r--r-- | changes/do_not_do_native_menu_in_linux | 1 |
1 files changed, 0 insertions, 1 deletions
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 |