The latest patch looks reasonable to me. Bruno, you're the minmax maintainer: can you please take a look at it?
_______________________________________________ bug-gnulib mailing list bug-gnulib@gnu.org http://lists.gnu.org/mailman/listinfo/bug-gnulib
