[arch-commits] Commit in (gvm-tools)

[Antonio Rojas via arch-commits]

    Date: Friday, May 1, 2020 @ 19:05:51
  Author: arojas
Revision: 624194

Drop orphan package

Deleted:
  gvm-tools/