]> granicus.if.org Git - php/commit
Merge remote-tracking branch 'github/pr/3375'
authorStanislav Malyshev <stas@php.net>
Mon, 3 Dec 2018 00:05:38 +0000 (16:05 -0800)
committerStanislav Malyshev <stas@php.net>
Mon, 3 Dec 2018 00:05:38 +0000 (16:05 -0800)
commit6c16f9b69c1951392d5d0ac89d3fbd2b318af118
tree49f4f22116cc4ee7c33b8a650330c6dd96c4f4d4
parent3faac769fa3f4d508b5e970e772d0475b4b9310c
parent80eb9c89b8f2dd484e83d78f880ea65f0238b0ec
Merge remote-tracking branch 'github/pr/3375'

* github/pr/3375:
  Don't need interactive progress on git clones in Travis