Skip to content

Comments

Upgrade highlight#14

Merged
tvdijen merged 2 commits intorelease-2.1from
feature/upgrade-highlight
Jul 29, 2023
Merged

Upgrade highlight#14
tvdijen merged 2 commits intorelease-2.1from
feature/upgrade-highlight

Conversation

@tvdijen
Copy link
Member

@tvdijen tvdijen commented Jul 28, 2023

Closes #7

@tvdijen tvdijen requested a review from thijskh July 28, 2023 15:41
@tvdijen tvdijen added the enhancement New feature or request label Jul 28, 2023
@tvdijen tvdijen force-pushed the feature/upgrade-highlight branch from b8b0bf7 to 0685e18 Compare July 28, 2023 16:21
@tvdijen tvdijen force-pushed the release-2.1 branch 8 times, most recently from c971ca5 to 8a1a134 Compare July 29, 2023 08:23
@tvdijen tvdijen merged commit 1c567a5 into release-2.1 Jul 29, 2023
@tvdijen tvdijen deleted the feature/upgrade-highlight branch July 29, 2023 10:46
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jan 1, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant