Skip to content

HAR-9619 Search and highlight matches#498

Merged
harbournick merged 1 commit intomainfrom
har-9619_search
May 13, 2025
Merged

HAR-9619 Search and highlight matches#498
harbournick merged 1 commit intomainfrom
har-9619_search

Conversation

@VladaHarbour
Copy link
Copy Markdown
Contributor

No description provided.

Copy link
Copy Markdown
Collaborator

@harbournick harbournick left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@harbournick harbournick merged commit 154c8e6 into main May 13, 2025
5 of 6 checks passed
@harbournick harbournick deleted the har-9619_search branch May 13, 2025 16:47
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.

2 participants