[arch-commits] Commit in (gcc7)

[Antonio Rojas via arch-commits]

    Date: Monday, April 8, 2019 @ 18:58:58
  Author: arojas
Revision: 450438

No longer needed

Deleted:
  gcc7/