Update of bug #37878 (project make): Status: None => Duplicate Open/Closed: Open => Closed
_______________________________________________________ Follow-up Comment #2: This bug has already been fixed; the fix will be available in the next release of GNU make. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/bugs/?37878> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/ _______________________________________________ Bug-make mailing list Bug-make@gnu.org https://lists.gnu.org/mailman/listinfo/bug-make