Re: [PATCH] updating manual: visibility of ARCHIVEd subtrees

[Bastien]

Hi Giovanni,

Giovanni Ridolfi <giovanni.rido...@yahoo.it> writes:

> please find attached a patch updating the documentation file:

Sorry we overlooked this patch, thanks for it!

Applied as 225d58341 in the bugfix branch.

Best,

-- 
 Bastien