On 08/24/2011 07:27 PM, Robert Dodier wrote: > OK, I will create 5.25.1 this weekend. I've also commited some fixes to this branch, since some texi files were not copied into the tarball. I'd like to thank James Cloos, too. -- Mario