New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update optionsdialog.ui #11206

Closed
wants to merge 1 commit into
base: master
from

Conversation

Projects
None yet
4 participants
@polyetilen

polyetilen commented Aug 31, 2017

Typo.

@promag

This comment has been minimized.

Show comment
Hide comment
@promag

promag Sep 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).
Member

promag commented Sep 1, 2017

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).
@fanquake

This comment has been minimized.

Show comment
Hide comment
@fanquake

fanquake Sep 2, 2017

Member

This is a duplicate of/included in #10911.

Member

fanquake commented Sep 2, 2017

This is a duplicate of/included in #10911.

@fanquake fanquake closed this Sep 2, 2017

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment