Skip to content

Features and Fixes#393

Merged
nlogozzo merged 16 commits intomainfrom
next
Nov 5, 2023
Merged

Features and Fixes#393
nlogozzo merged 16 commits intomainfrom
next

Conversation

@nlogozzo
Copy link
Copy Markdown
Member

@nlogozzo nlogozzo commented Nov 5, 2023

Fixes #385
Fixes #391
Fixes #392

image

@nlogozzo nlogozzo marked this pull request as ready for review November 5, 2023 17:10
@nlogozzo nlogozzo requested a review from fsobolev November 5, 2023 18:08
@nlogozzo nlogozzo requested a review from fsobolev November 5, 2023 18:48
@nlogozzo nlogozzo merged commit 73ed71b into main Nov 5, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

2 participants