granicus.if.org Git - php/commit

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

projects / php / commit

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

author	Remi Collet <remi@php.net>
	Tue, 23 Oct 2018 10:15:30 +0000 (12:15 +0200)
committer	Remi Collet <remi@php.net>
	Tue, 23 Oct 2018 10:15:30 +0000 (12:15 +0200)
commit	1d5baf167a79f8b6842e46b238eb7fb99dcb3e6b
tree	51bbcab75594eb013226026cc65e9887449fa0ec	tree \| snapshot
parent	c3a8313136d0c33e21d2e92de4ddd3083b602f33	commit \| diff

bump to 7.2.13-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.