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

And since you’ve already pushed the right version, I did the merge. ;) Le 17/06/2017 à 19:06, Bruno Pagani a écrit :

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