Merge pull request #9504 from jefferyto/circleci-usign-openwrt-19.07
authorchamptar <champetier.etienne@gmail.com>
Thu, 18 Jul 2019 14:52:34 +0000 (07:52 -0700)
committerGitHub <noreply@github.com>
Thu, 18 Jul 2019 14:52:34 +0000 (07:52 -0700)
[openwrt-19.07] CircleCI: Add support for usign signatures


Trivial merge