mirror of
https://github.com/doctrine/orm.git
synced 2026-03-23 22:42:18 +01:00
DDC-3501: [GH-1255] Cleanup: PHP 5.3 support end #4311
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 (Jan 14, 2015).
Originally assigned to: @Ocramius 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/1255
Message:
@doctrinebot commented on GitHub (Jan 15, 2015):
Comment created by @doctrinebot:
A related Github Pull-Request [GH-1255] was merged:
https://github.com/doctrine/doctrine2/pull/1255
@doctrinebot commented on GitHub (Jan 15, 2015):
Issue was closed with resolution "Fixed"
@doctrinebot commented on GitHub (Jan 15, 2015):
Comment created by @doctrinebot:
A related Github Pull-Request [GH-1255] was assigned:
https://github.com/doctrine/doctrine2/pull/1255