On 11/2/12, Nicolas George <nicolas.george at normalesup.org> wrote: > > Signed-off-by: Nicolas George <nicolas.george at normalesup.org> > --- > doc/faq.texi | 14 ++++++++++++++ > 1 file changed, 14 insertions(+) > Fine for me.