This release fixes a bug in remove-rule
if it is called while there are still rules queued up to be fired. The matches for the removed rule were not being removed, and when they were fired they sometimes threw an NPE. Thanks to @nivekuil for the bug report.