>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes: Pedro> I've also attached a gnulib fix for an issue I ran into, which will Pedro> need to go upstream. I didn't seem to need this. I wonder if I'm doing something wrong..? Tom