Undo undesirable part of r267850 2019-01-11 commit.
[gcc.git] / COPYING3
2007-07-17 Nick CliftonCOPYING_v3: New file.