Re: [PATCH] Improves options in the manual

[Akim Demaille]

Hi Di-an,

This patch is a nice addition to the documentation.  I think it is  
high time that you are allowed to install your changes yourself when  
the patch is approved.  But you don't seem to exist on  
savannah.gnu.org, which is, I believe, needed for us to grant you  
write access to the repository.  Could you create an account there and  
tell us your id?

Thanks in advance!