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)
commita48858f82887d6cfa157cfd2886ed128f8e74f6b
tree5573f5228849c3babe9e4b0743c42fc2c4306204
parent08a811b1a5040d9d864ed388363587f4c7040d0a
parent273a3ea15df5a81b306755adff7e1cac08c165c7
Merge pull request #188 from gsomlo/gls-csr-cleanup

Miscellaneous cleanup patches