[PR #724] [CLOSED] Remove unnecessary comment #8614

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

📋 Pull Request Information

Original PR: https://github.com/doctrine/orm/pull/724
Author: @kluevandrew
Created: 7/16/2013
Status: Closed

Base: masterHead: patch-1


📝 Commits (1)

  • cb93db8 Remove unnecessary comment

📊 Changes

1 file changed (+1 additions, -1 deletions)

View changed files

📝 lib/Doctrine/ORM/EntityManager.php (+1 -1)

📄 Description

No description provided


🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/doctrine/orm/pull/724 **Author:** [@kluevandrew](https://github.com/kluevandrew) **Created:** 7/16/2013 **Status:** ❌ Closed **Base:** `master` ← **Head:** `patch-1` --- ### 📝 Commits (1) - [`cb93db8`](https://github.com/doctrine/orm/commit/cb93db8955b0bb128c46e3a1a5c91a6b29645271) Remove unnecessary comment ### 📊 Changes **1 file changed** (+1 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `lib/Doctrine/ORM/EntityManager.php` (+1 -1) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
admin added the pull-request label 2026-01-22 16:00:46 +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#8614