Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Various bugfixes and enhancements #107

Merged
merged 5 commits into from
Nov 8, 2023
Merged

Various bugfixes and enhancements #107

merged 5 commits into from
Nov 8, 2023

Conversation

@dobios dobios added bug Something isn't working enhancement New feature or request labels Nov 7, 2023
@dobios dobios self-assigned this Nov 7, 2023
@dobios dobios changed the title [WIP] Various bugfixes and enhancements Various bugfixes and enhancements Nov 8, 2023
@dobios dobios marked this pull request as ready for review November 8, 2023 00:42
@dobios dobios requested a review from astonedf November 8, 2023 00:42
@astonedf
Copy link
Collaborator

astonedf commented Nov 8, 2023

Great, looks good!

@astonedf astonedf merged commit a5962ed into main Nov 8, 2023
1 check passed
@astonedf astonedf deleted the bugs branch July 8, 2024 16:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working enhancement New feature or request
Projects
None yet
2 participants