Skip to content

Conversation

henryiii
Copy link
Collaborator

@henryiii henryiii commented Nov 27, 2021

Closes #677. This is a more straight forward way to do this, and not that much duplication (three lines shorter).

@henryiii henryiii merged commit f897aad into main Dec 2, 2021
@henryiii henryiii deleted the henryiii-patch-3 branch December 2, 2021 18:20
@github-actions github-actions bot added needs changelog Hasn't been added to the changelog yet needs README Needs to be mentioned in the README labels Dec 2, 2021
@henryiii henryiii removed the needs README Needs to be mentioned in the README label Feb 9, 2022
@henryiii henryiii removed the needs changelog Hasn't been added to the changelog yet label Mar 27, 2022
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.

GCC warning useless-cast
2 participants