Skip to content

set version to v0.4.3#42

Merged
jmark merged 1 commit intomainfrom
ranocha-patch-1
Nov 19, 2023
Merged

set version to v0.4.3#42
jmark merged 1 commit intomainfrom
ranocha-patch-1

Conversation

@ranocha
Copy link
Collaborator

@ranocha ranocha commented Nov 14, 2023

It would be nice to get a new release including #40.

While looking at the commit history, it may be nice to consider switching to squash-merge to keep the history clean.

@ranocha ranocha requested a review from jmark November 14, 2023 11:29
@jmark jmark merged commit 9183a51 into main Nov 19, 2023
@jmark jmark deleted the ranocha-patch-1 branch November 19, 2023 14:27
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.

2 participants