[arch-commits] Commit in (gnu-efi-libs)

[David Runge via arch-commits]

    Date: Tuesday, May 26, 2020 @ 18:13:41
  Author: dvzrv
Revision: 387594

Removing gnu-efi-libs in favor of gnu-efi.

Deleted:
  gnu-efi-libs/