[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug #13294] info directory merge leaves duplicates

From: Sergey Poznyakoff
Subject: [bug #13294] info directory merge leaves duplicates
Date: Thu, 10 Feb 2011 09:43:57 +0000
User-agent: Mozilla/5.0 (X11; U; Linux i686; pl; rv: Gecko/20090824 Firefox/3.5.3

Update of bug #13294 (project texinfo):

                  Status:                    None => Need Info              


Follow-up Comment #2:

I cannot reproduce it with v4.13.  I'd appreciate any more specific info that
would help me reproduce it (in particular, the value of INFOPATH might be of


Reply to this item at:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]