[Top][All Lists]

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

[bug #13294] info directory merge leaves duplicates

From: Karl Berry
Subject: [bug #13294] info directory merge leaves duplicates
Date: Fri, 25 Feb 2011 17:09:25 +0000
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv: Gecko/20101123 SeaMonkey/2.0.11

Update of bug #13294 (project texinfo):

             Open/Closed:                    Open => Closed                 


Follow-up Comment #3:

I don't get the duplicate dir entries now, either.  Closing it barring further
input ... thanks.


Reply to this item at:


  Message sent via/by Savannah

reply via email to

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