Bruno Haible Fri, 06 Jan 2012 19:32:42 -0800
Paul Eggert wrote: > Thanks, that looks good to me too. Thanks for the review. I've pushed it.
Bruno