[arch-commits] Commit in (ratpoints thebe)

[Antonio Rojas via arch-commits]

    Date: Monday, May 16, 2022 @ 07:17:32
  Author: arojas
Revision: 1207527

No longer needed

Deleted:
  ratpoints/
  thebe/