Skip to content
This repository has been archived by the owner on Jun 4, 2024. It is now read-only.

Release 15.0.2 #1023

Merged
merged 1 commit into from
Feb 17, 2024
Merged

Release 15.0.2 #1023

merged 1 commit into from
Feb 17, 2024

Conversation

fheinecke
Copy link
Contributor

No description provided.

@fheinecke fheinecke self-assigned this Feb 16, 2024
@fheinecke fheinecke enabled auto-merge (squash) February 16, 2024 23:23
@fheinecke fheinecke merged commit 7165910 into master Feb 17, 2024
13 checks passed
@fheinecke fheinecke deleted the release/15.0.2 branch February 17, 2024 01:15
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants