|  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
 [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: Fri Jul 19 22:01:28 2024 UTC