Update optionsdialog.ui #11206

1. 
   polyetilen commented at 6:37 pm on August 31, 2017: none

   Typo.
2. Update optionsdialog.ui

   Typo.

   d7fef43db2
3. MarcoFalke added the label GUI on Aug 31, 2017
4. MarcoFalke added the label Docs and Output on Aug 31, 2017
5. 
   promag commented at 11:45 pm on September 1, 2017: member

   Since it’s you first contribution:

   • the title and commit could say something like Fix mnemonic of hide tray icon checkbox in options dialog;
   • being such a simple patch, the PR description could be empty (better than Typo. IMO).
6. 
   fanquake commented at 8:29 am on September 2, 2017: member

   This is a duplicate of/included in #10911.
7. fanquake closed this on Sep 2, 2017

   ---

8. MarcoFalke locked this on Sep 8, 2021

Contributors
polyetilen promag fanquake

Labels
GUI Docs