Skip to content

Conversation

myoung34
Copy link
Owner

resolves #94

@davidkarlsen
Copy link

lgtm

@myoung34 myoung34 merged commit 808655b into master Mar 23, 2021
@myoung34 myoung34 deleted the optional_deregistration branch March 23, 2021 12:32
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.

conditional unregistration?
2 participants