]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.0' into PHP-7.1
authorJoe Watkins <krakjoe@php.net>
Mon, 24 Jul 2017 09:42:35 +0000 (10:42 +0100)
committerJoe Watkins <krakjoe@php.net>
Mon, 24 Jul 2017 09:42:35 +0000 (10:42 +0100)
commit642fb44d6914960e415c74c6e712986fb604fa9d
tree969718f1ae07046a22a8864b46d38447f9f6e1cc
parentf116a885921a008d9b94a7c1089aa85ae82461c3
parentc4e11c8ef379346e15f2dfc9e0d664e0cf8b088e
Merge branch 'PHP-7.0' into PHP-7.1

* PHP-7.0:
  Update PHP 5 version to 7 in header comments
ext/shmop/shmop.c