For reference, the bug report (with patch) to which I referred yesterday was #787760.
Attachment: signature.asc Description: Digital signature