From: [email-masked] (N. Jackson)
Date: Mon, 24 Aug 2015 23:26:25 -0300

reopen 21331
tags 21331 notabug
close 21331
stop

[Trying this again. Tagging the bug "notabug" seems to have failed in my
previous mail, probably because I forgot to copy the mail to the control
server.]