[arch-commits] Commit in (automoc4)

[Antonio Rojas via arch-commits]

    Date: Friday, August 24, 2018 @ 06:45:28
  Author: arojas
Revision: 332914

No longer needed

Deleted:
  automoc4/