Skip to content

Removing dead code.#1852

Merged
lemire merged 1 commit intomasterfrom
dlemire/issue1851
Jun 25, 2022
Merged

Removing dead code.#1852
lemire merged 1 commit intomasterfrom
dlemire/issue1851

Conversation

@lemire
Copy link
Member

@lemire lemire commented Jun 25, 2022

Fixes #1851

@lemire lemire merged commit 070f0b2 into master Jun 25, 2022
@lemire lemire deleted the dlemire/issue1851 branch June 25, 2022 04:11
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.

Cannot inline due to function body not available

1 participant