Merge branch 'cb/git-gui-ttk-style'
authorJunio C Hamano <gitster@pobox.com>
Wed, 25 Apr 2018 04:28:49 +0000 (13:28 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 25 Apr 2018 04:28:49 +0000 (13:28 +0900)
"git gui" has been taught to work with old versions of tk (like
8.5.7) that do not support "ttk::style theme use" as a way to query
the current theme.

* cb/git-gui-ttk-style:
  git-gui: workaround ttk:style theme use


Trivial merge