Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Feature/plugin request termination #2051
Thx for the PR, looks like you put some serious effort in it!
Few comments on a first glance, will have to look more in depth later.
referenced this pull request
Mar 2, 2017
Can you rework the comments?
overall looks complete and well tested!