Merge pull request #188 from gsomlo/gls-csr-cleanup
authorenjoy-digital <florent@enjoy-digital.fr>
Thu, 30 May 2019 20:40:39 +0000 (22:40 +0200)
committerGitHub <noreply@github.com>
Thu, 30 May 2019 20:40:39 +0000 (22:40 +0200)
Miscellaneous cleanup patches


Trivial merge