Skip to content

Fix bug found by asan from #5784#5798

Merged
dsharletg merged 1 commit intomasterfrom
dsharletg/fix-asan
Mar 10, 2021
Merged

Fix bug found by asan from #5784#5798
dsharletg merged 1 commit intomasterfrom
dsharletg/fix-asan

Conversation

@dsharletg
Copy link
Contributor

#5784 had a bad bug in it, this fixes it.

@dsharletg dsharletg merged commit 34c402f into master Mar 10, 2021
@dsharletg dsharletg deleted the dsharletg/fix-asan branch March 10, 2021 21:54
@alexreinking alexreinking added this to the v12.0.0 milestone May 19, 2021
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.

4 participants