> From: Joel Brobecker <brobecker@adacore.com> > Date: Tue, 4 Dec 2012 17:45:22 +0400 > > Another file that can be deleted. I don't think this file can be deleted. At least not unless we want to stop pretending GNU/Hurd is a viable OS. This file is referenced by config/i386/i386gnu.mh.