Skip to content

Conversation

@rchl
Copy link
Member

@rchl rchl commented Jun 5, 2023

Apart from the changes listed above it should introduce no behavior changes (not fixing known bugs even, that will come later).

@rchl rchl merged commit a0fcf9a into master Jun 6, 2023
@rchl rchl deleted the fix/settings branch June 6, 2023 19:23
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.

3 participants