Skip to content

Conversation

@lifeforms
Copy link
Member

@lifeforms lifeforms commented Feb 21, 2021

Fixes a false positive reported in #2005.

@dune73
Copy link
Member

dune73 commented Mar 1, 2021

Thank you for fixing this FP @lifeforms. This is very neat.

Merging now.

@dune73
Copy link
Member

dune73 commented Apr 2, 2021

Sorry, I forgot to merge. Sorry about this.

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