This repository has been archived by the owner on Jul 28, 2022. It is now read-only.

Merge PR #11

Open

pmonks opened this issue Dec 1, 2017 · 0 comments

Labels

enhancement functional

Contributor

pmonks commented Dec 1, 2017

Ability to merge a single identified pull request.

pmonks added enhancement functional labels

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