[PR #6955] Merge develop into master #10239

Open
opened 2026-01-22 16:06:54 +01:00 by admin · 0 comments
Owner

Original Pull Request: https://github.com/doctrine/orm/pull/6955

State: closed
Merged: Yes


Latest rebase seems to be complete, failures fixed in 2537c7f52b.
There should be nothing blocking anymore. PRs will be re-targeted afterwards.

**Original Pull Request:** https://github.com/doctrine/orm/pull/6955 **State:** closed **Merged:** Yes --- Latest rebase seems to be complete, failures fixed in 2537c7f52bc4d1d66f18fc1f93e25df1887a8296. There should be nothing blocking anymore. PRs will be re-targeted afterwards.
admin added the pull-request label 2026-01-22 16:06:54 +01:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: doctrine/archived-orm#10239