|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #80383 PhD is not updated on
Submitted: 2020-11-19 17:03 UTC Modified: 2020-11-19 23:38 UTC
From: Assigned: salathe (profile)
Status: Closed Package: Systems problem
PHP Version: Irrelevant OS: n/a
Private report: No CVE-ID: None
View Add Comment Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
You can add a comment by following this link or if you reported this bug, you can edit this bug over here.
Block user comment
Status: Assign to:
Bug Type:
New email:
PHP Version: OS:


 [2020-11-19 17:03 UTC]
While PhD seems to be regularly updated to latest HEAD of PhD for, it is apparently not for quite some time on
Compare, e.g.




The manual appears to be properly updated.


Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2020-11-19 23:38 UTC]
-Status: Open +Status: Closed -Assigned To: +Assigned To: salathe
 [2020-11-19 23:38 UTC]
It should be fixed now.  Thanks Christoph.
PHP Copyright © 2001-2024 The PHP Group
All rights reserved.
Last updated: Wed Jul 24 01:01:28 2024 UTC