Options UI discoverability & other fixes

This commit is contained in:
narcolepticinsomniac 2017-02-28 19:09:49 -05:00 committed by GitHub
parent e122329701
commit 9aa389c0f2