Reentrant trigger prevention inhibits match *or fire*
This is a substantive change, but a bugfix, so OK to merge. Addresses #812.
parent
6c642e9c
Please register or sign in to comment
This is a substantive change, but a bugfix, so OK to merge. Addresses #812.