projects / feed / packages.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: cb0d4d8 b14b593)
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)
[openwrt-19.07] CircleCI: Change BRANCH to "openwrt-19.07"


Trivial merge
Mirror of packages feed