granicus.if.org Git - php/commit

]> granicus.if.org Git - php/commit

projects / php / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 928c422) | patch

author	Remi Collet <remi@php.net>
	Tue, 19 Feb 2019 11:46:52 +0000 (12:46 +0100)
committer	Remi Collet <remi@php.net>
	Tue, 19 Feb 2019 11:46:52 +0000 (12:46 +0100)
commit	b243f2feca66fe4d5f696dbe3d9453af272d5613
tree	eaa764d90c788f8a34ef4981e7e388c3c9f25235	tree \| snapshot
parent	928c42211f737640e4dc3c9702ba833c3059bddf	commit \| diff

bump version to 7.2.17-dev

NEWS		diff \| blob \| history
configure.ac		diff \| blob \| history
main/php_version.h		diff \| blob \| history

Unnamed repository; edit this file 'description' to name the repository.