Merge pull request #9501 from jefferyto/circleci-usign
authorchamptar <champetier.etienne@gmail.com>
Tue, 16 Jul 2019 23:55:33 +0000 (16:55 -0700)
committerGitHub <noreply@github.com>
Tue, 16 Jul 2019 23:55:33 +0000 (16:55 -0700)
CircleCI: Add support for usign signatures


Trivial merge