[arch-commits] Commit in (vimix-grub)

[Filipe Laíns via arch-commits]

    Date: Sunday, December 23, 2018 @ 14:22:25
  Author: ffy00
Revision: 417627

Rename package

Deleted:
  vimix-grub/