[arch-commits] Commit in (proselint)

[Antonio Rojas via arch-commits]

    Date: Saturday, May 8, 2021 @ 09:23:54
  Author: arojas
Revision: 928731

Spring '21 cleanup

Deleted:
  proselint/