mirror of
https://github.com/doctrine/orm.git
synced 2026-03-24 06:52:09 +01:00
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?
Original Pull Request: https://github.com/doctrine/orm/pull/7843
State: closed
Merged: No
Although branch 2.5 is not maintained anymore I would like to port the PR #7325 to this branch, because it is the last one that supports PHP 7.0 which is still needed in one of our projects.
If you don't like to merge this PR I can understand. But I thought it's worth sharing it.