You can view the Pull Request on github:
https://github.com/php/web-php/pull/253
Closed.
--
PHP Webmaster List Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php
Commit:190459c76656a9e9e79b7a2b588bc49f6cbf4013
Author:Peter Kokot Sun, 4 Nov 2018 02:03:56
+0100
Parents: b7231b60cdd3d1bbf03621216b889d19995756a4
Branches: master
Link:
http://git.php.net/?p=web/php.git;a=commitdiff;h=190459c76656a9e9e79b7a2b588bc49f6cbf4013
Log:
You can view the Pull Request on github:
https://github.com/php/web-php/pull/252
Closed.
--
PHP Webmaster List Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php
Commit:b7231b60cdd3d1bbf03621216b889d19995756a4
Author:zrhoffman Wed, 31 Oct 2018 23:07:18
-0500
Committer: Peter Kokot Sat, 17 Nov 2018 06:20:55
+0100
Parents: dfadd340848dc4f26f2216438c542e7b0b9ad5bf
Branches: master
Link:
Edit report at https://bugs.php.net/bug.php?id=72707=1
ID: 72707
Updated by: p...@php.net
Reported by:sala...@php.net
Summary:Filter releases by minor version
-Status: Open
+Status: Closed
Type: Feature/Change