Skip to content

Fix dev branch #29

Merged
JulianKast merged 15 commits intodevelopfrom
fix_dev_branch
Oct 17, 2022
Merged

Fix dev branch #29
JulianKast merged 15 commits intodevelopfrom
fix_dev_branch

Conversation

@JulianKast
Copy link
Copy Markdown
Contributor

@JulianKast JulianKast commented Oct 17, 2022

Fix develop for previous overwritten changes.

@JulianKast JulianKast changed the title Fix dev branch Fix dev branch Oct 17, 2022
@ChloeMJM ChloeMJM self-assigned this Oct 17, 2022
Copy link
Copy Markdown
Contributor

@ChloeMJM ChloeMJM left a comment

Choose a reason for hiding this comment

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

Tested via Manticore and works as expected. Approved.

@JulianKast JulianKast merged commit a4e3951 into develop Oct 17, 2022
@JulianKast JulianKast deleted the fix_dev_branch branch October 17, 2022 17:57
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