Merge pull request #9250 from jefferyto/circleci-openwrt-19.07
authorRosen Penev <rosenp@gmail.com>
Tue, 18 Jun 2019 16:57:51 +0000 (09:57 -0700)
committerGitHub <noreply@github.com>
Tue, 18 Jun 2019 16:57:51 +0000 (09:57 -0700)
commitf27e5259fc15f308e746ac9f1ba00139e9d50016
treeb9ef0c089ba9ead36391eee4578be7b314821ab5
parentcb0d4d8558cb80863a4a67fc0b8f368c1366831b
parentb14b59353308b83a1eccb09cb34b1aa8854ee8c5
Merge pull request #9250 from jefferyto/circleci-openwrt-19.07

[openwrt-19.07] CircleCI: Change BRANCH to "openwrt-19.07"