Merge pull request #11 from philsmd/master
authorJens Steube <jens.steube@gmail.com>
Mon, 7 Dec 2015 18:10:32 +0000 (19:10 +0100)
committerJens Steube <jens.steube@gmail.com>
Mon, 7 Dec 2015 18:10:32 +0000 (19:10 +0100)
implements the enhancement mentioned in issue #10 (cancel on next checkpoint)


Trivial merge