]> granicus.if.org Git - php/commit
projects / php / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 6f0c338 fdf6b0f)
Merge branch 'PHP-7.3' into PHP-7.4
authorNikita Popov <nikita.ppv@gmail.com>
Mon, 3 Aug 2020 12:48:18 +0000 (14:48 +0200)
committerNikita Popov <nikita.ppv@gmail.com>
Mon, 3 Aug 2020 12:48:18 +0000 (14:48 +0200)
commitc0fac0357c480cf6c60833ac55254d0734bab8b4
treefbc5795b4ed2564b93902eb62856b5659d2f00b7tree | snapshot
parent6f0c3386d4f44e40e24e9d0aa6856e44cab971facommit | diff
parentfdf6b0fefe58be5b7ca1b3528ca6cab0d868880acommit | diff
Merge branch 'PHP-7.3' into PHP-7.4

* PHP-7.3:
  set -ex on travis/compile.sh
travis/compile.sh diff1 | diff2 | blob | history
Unnamed repository; edit this file 'description' to name the repository.