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
2 participants