David Runge via arch-commits Mon, 27 Jul 2020 09:52:10 -0700
Date: Monday, July 27, 2020 @ 16:51:44 Author: dvzrv Revision: 665492
Remove argodejo, as upstream misspelled the name - replaced by agordejo. Deleted: argodejo/