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

Minor fixes #158

Merged
merged 6 commits into from
Jan 18, 2023
Merged

Minor fixes #158

merged 6 commits into from
Jan 18, 2023

Conversation

madsnedergaard
Copy link
Member

@madsnedergaard madsnedergaard commented Jan 18, 2023 •
edited
Loading

@madsnedergaard madsnedergaard marked this pull request as ready for review January 18, 2023 10:32
@madsnedergaard madsnedergaard changed the title [WIP] Minor fixes Minor fixes Jan 18, 2023
tonypls
tonypls approved these changes Jan 18, 2023
View reviewed changes
Copy link

@tonypls tonypls left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@madsnedergaard madsnedergaard merged commit 5b0ca30 into master Jan 18, 2023
@madsnedergaard madsnedergaard deleted the mn/minor-fixes-v2 branch January 18, 2023 10:42
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@tonypls tonypls tonypls approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
2 participants
@madsnedergaard @tonypls