Merge pull request #1199 from mdosch/master

Fix solarized dark theme
This commit is contained in:
Michael Vetter
2019-09-25 22:35:01 +02:00
committed by GitHub