On Sun, Apr 11, 2010 at 04:13, Junio C Hamano <gitster@xxxxxxxxx> 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. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html