[arch-commits] Commit in refind/repos (community-any)

[David Runge via arch-commits]

    Date: Thursday, April 23, 2020 @ 06:14:03
  Author: dvzrv
Revision: 380746

Removing accidentally added (but aborted) push to community.

Deleted:
  refind/repos/community-any/