Re: [ANNOUNCE] Git 1.7.1.rc1

From: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Date: Apr 11, 2010, 16:08 UTC
Message-ID: <y2i51dd1af81004110908mcf6ce8cahf04225d7c261a85b@mail.gmail.com>
In-Reply-To: <7vmxxar5h7.fsf@alter.siamese.dyndns.org>

On Sun, Apr 11, 2010 at 04:13, Junio C Hamano <gitster@pobox.com> wrote:

> A release candidate Git 1.7.1.rc1 is available at the usual places
> for testing:

This is a minor nit but when I generate the info docs from master I get this at the top of user-manual.texi:

    @menu
    * : id2860714.
    * Repositories and Branches::
    * Exploring git history::
    * Developing with git::

I can't find what produces that token but here are all occurrences of it:

  4 matches for "id2860714" in buffer: user-manual.texi
     10:@node Top, id2860714, , (dir)
     15:* : id2860714.
    130:@node id2860714, Repositories and Branches, Top, Top
    171:@node Repositories and Branches, Exploring git history, id2860714, Top

This bug results in an empty list item when viewing the Git User’s Manual with info.