mirror of
https://github.com/doctrine/orm.git
synced 2026-03-23 22:42:18 +01:00
DDC-3499: [GH-1253] Fix dead link #4308
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 SofHad:
Url: https://github.com/doctrine/doctrine2/pull/1253
Message:
on this page: http://docs.doctrine-project.org/en/latest/reference/advanced-configuration.html#connection-options
@doctrinebot commented on GitHub (Jan 14, 2015):
Comment created by @doctrinebot:
A related Github Pull-Request [GH-1253] was assigned:
https://github.com/doctrine/doctrine2/pull/1253
@doctrinebot commented on GitHub (Jan 14, 2015):
Comment created by @doctrinebot:
A related Github Pull-Request [GH-1253] was merged:
https://github.com/doctrine/doctrine2/pull/1253
@doctrinebot commented on GitHub (Jan 14, 2015):
Issue was closed with resolution "Fixed"