[arch-commits] Commit in (libxmi)

[Antonio Rojas via arch-commits]

    Date: Friday, April 1, 2022 @ 17:53:43
  Author: arojas
Revision: 441144

Spring cleanup

Deleted:
  libxmi/