Binaries don't generally have to go through MIR process, and it looks like this has been done without recourse to the bug report. Closing now.
Binaries don't generally have to go through MIR process, and it looks like this has been done without recourse to the bug report. Closing now.