Skip to content

Release v1.13.1 and fix search#2152

Merged
mdo merged 2 commits intomainfrom
1131-fix
May 9, 2025
Merged

Release v1.13.1 and fix search#2152
mdo merged 2 commits intomainfrom
1131-fix

Conversation

@mdo
Copy link
Copy Markdown
Member

@mdo mdo commented May 9, 2025

Fixes #2151.

@mdo mdo merged commit ce0e49d into main May 9, 2025
8 checks passed
@mdo mdo deleted the 1131-fix branch May 9, 2025 23:01
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.

Search is broken

1 participant