Skip to content

Remove unused constants.#360

Merged
dvander merged 1 commit intomasterfrom
fix-359
Sep 2, 2019
Merged

Remove unused constants.#360
dvander merged 1 commit intomasterfrom
fix-359

Conversation

@dvander
Copy link
Member

@dvander dvander commented Sep 1, 2019

Bug: issue #359

@dvander dvander merged commit 3d47b3d into master Sep 2, 2019
@dvander dvander deleted the fix-359 branch September 2, 2019 00:04
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

Comments