Skip to content

Conversation

@jaapio
Copy link
Member

@jaapio jaapio commented Jan 20, 2025

fixes: 1195

@jaapio jaapio force-pushed the feat/case-insensitive-text-roles branch from 41d9f61 to 4eed6b0 Compare January 20, 2025 19:57
@jaapio jaapio enabled auto-merge January 20, 2025 19:57
@jaapio jaapio merged commit 1d75702 into main Jan 20, 2025
50 checks passed
@jaapio jaapio deleted the feat/case-insensitive-text-roles branch January 20, 2025 20:02
@phpdoc-bot
Copy link

💚 All backports created successfully

Status Branch Result
1.x

Note: Successful backport PRs will be merged automatically after passing CI.

Questions ?

Please refer to the Backport tool documentation and see the Github Action logs for details

phpdoc-bot added a commit that referenced this pull request Jan 20, 2025
[1.x] Merge pull request #1196 from phpDocumentor/feat/case-insensitive-text-roles
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants