Skip to content

Conversation

@argggh
Copy link
Contributor

@argggh argggh commented Jun 8, 2018

No description provided.

Arne Georg Gisnås Gleditsch added 2 commits June 8, 2018 23:32
These modules never saw much external use, and have been
pruned. They'll remain available in the git history and in the
released 1.4.61 version.
@argggh argggh merged commit 657d98c into master Jun 8, 2018
@argggh argggh deleted the argggh/change-namespace branch June 8, 2018 21:36
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