[aur-requests] [PRQ#22217] Merge Request for migen-git Accepted