Skip to content

Mini changes#167

Merged
Barracuda09 merged 2 commits intoBarracuda09:masterfrom
lars18th:mini-changes
Nov 3, 2022
Merged

Mini changes#167
Barracuda09 merged 2 commits intoBarracuda09:masterfrom
lars18th:mini-changes

Conversation

@lars18th
Copy link
Contributor

@lars18th lars18th commented Nov 2, 2022

These changes improve the compilation compatibility. Both are included in #164 but they could be merged without any side effect.

@lars18th
Copy link
Contributor Author

lars18th commented Nov 2, 2022

Hi @Barracuda09 ,

I hope you want to merge these small changes.

@lars18th
Copy link
Contributor Author

lars18th commented Nov 3, 2022

Hi @Barracuda09 ,

Any reason to not accept this small patch?

@Barracuda09 Barracuda09 merged commit 321fa76 into Barracuda09:master Nov 3, 2022
@lars18th lars18th deleted the mini-changes branch November 9, 2022 17:22
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.

2 participants