Skip to content
This repository has been archived by the owner on Jan 8, 2025. It is now read-only.

v5.0.2 #43

Merged
merged 1 commit into from
Nov 13, 2023
Merged

v5.0.2 #43

merged 1 commit into from
Nov 13, 2023

Conversation

achim-k
Copy link
Contributor

@achim-k achim-k commented Nov 13, 2023

Public-Facing Changes

Release 0.5.2

Description

Includes #42

@achim-k achim-k requested a review from jtbandes November 13, 2023 18:49
@achim-k achim-k merged commit 1b9df73 into main Nov 13, 2023
1 check passed
@achim-k achim-k deleted the release/0.5.2 branch November 13, 2023 18:51
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants