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

Hotfix wrong or unnecessary warnings #45

Merged
merged 1 commit into from
Jan 9, 2020
Merged

Conversation

florian-richter
Copy link
Contributor

During #43 I created a fake warning and removed one fix for an avoidable warning for testing purposes and forgot to remove it. This PR fixes these mistakes.

@florian-richter florian-richter merged commit 06f1edb into master Jan 9, 2020
@florian-richter florian-richter deleted the hotfix-warnings branch January 9, 2020 09:57
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants