[arch-commits] Commit in (check)

[Antonio Rojas via arch-commits]

    Date: Friday, November 2, 2018 @ 15:48:24
  Author: arojas
Revision: 401235

Already in extra

Deleted:
  check/