]> git.lizzy.rs Git - nothing.git/commitdiff
Merge pull request #622 from tsoding/616
authorAlexey Kutepov <reximkut@gmail.com>
Sun, 6 Jan 2019 17:52:50 +0000 (00:52 +0700)
committerGitHub <noreply@github.com>
Sun, 6 Jan 2019 17:52:50 +0000 (00:52 +0700)
(#616) Implement hiding labels


Trivial merge