Discussion related to cado-nfs

[Paul Zimmermann <Paul.Zimmermann@inria.fr>]

       Dear Bernardo,

> Thank you for your quick reply. Please note that I indeed included the
> release in the body of the message:
> 
> > with both builds Oct 14 11:35 and Sep 28 11:32 GMT
> 
> obtained with the "git log" command, unless I don't understand what
> information should I include.

it is more useful to include the commit number given by "git show" or
"git log", for example 6a75e69f91836f977af970d4cd87aeef31301f15 or
6a75e69 for short.

Paul