Hi all; due to the issue related to double-colon rules I plan to make a 4.2.1 release, probably tonight, containing that fix (which appears to work OK) and a few other cleanups as already committed.
If there are other quick-fix things appropriate for a 4.2.1 release let me know. _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make
