Skip to content

Revert "Improve resource topic title. " - #3553

Merged
jb3 merged 1 commit into
mainfrom
revert-3552-main
Aug 20, 2026
Merged

Revert "Improve resource topic title. "#3553
jb3 merged 1 commit into
mainfrom
revert-3552-main

Conversation

@jb3

@jb3 jb3 commented Aug 20, 2026

Copy link
Copy Markdown
Member

Reverts #3552

@jb3
jb3 merged commit e2266ad into main Aug 20, 2026
2 of 3 checks passed
@jb3
jb3 deleted the revert-3552-main branch August 20, 2026 13:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant