Skip to content
This repository was archived by the owner on Feb 13, 2025. It is now read-only.

Conversation

@int128
Copy link
Owner

@int128 int128 commented Sep 13, 2018

See #3.

@int128 int128 added the enhancement New feature or request label Sep 13, 2018
@int128 int128 merged commit dc5bcd0 into master Sep 13, 2018
@int128 int128 deleted the config branch September 13, 2018 21:33
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants