On 05/07/2012 01:43 PM, Bruno Haible wrote: > Looks good to me. Thanks. This seems to be a win regardless of whether it fixes the nettle problems, so I've pushed it into gnulib master. We can look into further fixes later as needed.