Last seen on drmtip_89 (7 months, 1 week / 3656 runs ago). I assume this issue has been fixed. Closing this bug.