Today I hammered a question, the initial version of which was
It took me a minute to find the appropriate duplicate and close it. After 5 more minutes the OP pinged me and requested me to reopen their question. The question looked very differently, and it was obvious that the OP had edited it during the grace period: the edit history link was hidden and the timeline contained no relevant events.
Apparently, the "Possible duplicate" comment (that is automatically added even when a question is being closed as duplicate by a single user) failed to break the grace period, in which case the user had 4 more minutes to make his edit before the grace period ended. (reference) Of course, the OP could have edited the question before I closed it, however I did not receive the standard "an edit has been made to this post" notification.
Can anyone explain what exactly happened here? Does Mjölnir terminate the grace period?