php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login

go to bug id or search bugs for

Bug #76549 Duplicate title for PHP 7.2.7 release
Submitted: 2018-06-29 15:50 UTC Modified: 2018-06-29 19:27 UTC
From: peterkokot at gmail dot com Assigned: pollita (profile)
Status: Closed Package: Website problem
PHP Version: Irrelevant OS:
Private report: No CVE-ID: None
View Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
If you reported this bug, you can edit this bug over here.
(description)
Block user comment
Status: Assign to:
Package:
Bug Type:
Summary:
From: peterkokot at gmail dot com
New email:
PHP Version: OS:

 

 [2018-06-29 15:50 UTC] peterkokot at gmail dot com 
Description:
------------
Hello, there are appearing two titles for PHP 7.2.7 release on the website http://www.php.net

Patches

Pull Requests

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2018-06-29 16:47 UTC] cmb@php.net
-Assigned To: +Assigned To: pollita
 [2018-06-29 16:47 UTC] cmb@php.net 
Is this worth fixing, Sara?
 [2018-06-29 19:27 UTC] pollita@php.net
-Status: Assigned +Status: Closed
 [2018-06-29 19:27 UTC] pollita@php.net 
Whoops, my bad.
Fix committed, site should rebuild shortly.
 
PHP Copyright © 2001-2026 The PHP Group
All rights reserved. 		Last updated: Sat Oct 10 22:00:02 2026 UTC