Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at> writes: | I just received mail from RMS where he gave us permission to "keep it | as gcc.gnu.org", which means we don't need to revert these patches. This is good news. Thanks to all of you! -- Gaby