The bug report was marked 'could not reproduce'.