New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Change library name #183

Closed

tfeldmann opened this issue Jul 12, 2021 · 1 comment

Assignees

Labels

conclusion: resolved topic: modification

Contributor

tfeldmann commented Jul 12, 2021 •

edited by rsora

Loading

See PR #182

rsora mentioned this issue

Change library name #182

Merged

Contributor

rsora commented Jul 14, 2021

Closed by #182!

rsora closed this as completed

per1234 added the modification label

per1234 removed the modification label

per1234 assigned rsora

per1234 added the conclusion: resolved label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment