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 [email protected] http://lists.gnu.org/mailman/listinfo/bug-gnulib
