- Issue created by @kristiaanvandeneynde
- Merge request !12037Resolve #3522723 "Remove plugin definitions" → (Closed) created by kristiaanvandeneynde
- 🇧🇪Belgium kristiaanvandeneynde Antwerp, Belgium
Never mind, this was fixed in HEAD by 📌 Bump PHPStan to version 2.0.0 Active
- 🇧🇪Belgium kristiaanvandeneynde Antwerp, Belgium
kristiaanvandeneynde → changed the visibility of the branch 3522723-remove-plugin-definitions to hidden.