mirror of
https://github.com/doctrine/orm.git
synced 2026-03-23 22:42:18 +01:00
DDC-3081: [GH-1009] HHVM compatibility #3825
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @doctrinebot on GitHub (Apr 10, 2014).
Originally assigned to: @beberlei on GitHub.
Jira issue originally created by user @doctrinebot:
This issue is created automatically through a Github pull request on behalf of Ocramius:
Url: https://github.com/doctrine/doctrine2/pull/1009
Message:
With this PR (based on DDC-3078, see #1008) we finally get 100% compatibility with HHVM as we described on http://www.doctrine-project.org/2013/12/23/our-hhvm-roadmap.html
This PR needs to be rebased on master once #1008 is merged.
@doctrinebot commented on GitHub (Apr 17, 2014):
Comment created by @doctrinebot:
A related Github Pull-Request [GH-1008] was closed:
https://github.com/doctrine/doctrine2/pull/1008
@doctrinebot commented on GitHub (Apr 17, 2014):
Comment created by @doctrinebot:
A related Github Pull-Request [GH-1009] was closed:
https://github.com/doctrine/doctrine2/pull/1009
@doctrinebot commented on GitHub (Apr 17, 2014):
Comment created by @FabioBatSilva:
Fixed by :
54d9f05e39@doctrinebot commented on GitHub (Apr 17, 2014):
Issue was closed with resolution "Fixed"