On Sun, Feb 24, 2013 at 09:58:04PM -0800, Paul Eggert wrote: > On 02/23/2013 07:45 AM, Rodrigo Campos wrote: > > I think everyone should be okay with it now. Are you okay > > with the documentation now ? > > Sorry, haven't had time to check it. It's on my to-do list.
Ping ? :) Don't want to bother you, just make sure this isn't forgotten :) Thanks a lot, Rodrigo
