My feeling is that the problem the patch is trying to solve is very small. I prefer to maintain control over the version of the generated files and move up to newer versions as I see fit. There is no pressing need to be on the bleeding edge.
I have been the only person hacking the configury since 2004. ;-) Cheers, Ben _______________________________________________ DejaGnu mailing list DejaGnu@gnu.org https://lists.gnu.org/mailman/listinfo/dejagnu
