Re: [aur-requests] Package rename: epfl-menu → epfl-menu-git

Sorry, missed that email. We cannot rename it, but you can push it again under the correct name and ask for a merge. Regards, Bruno