[PRQ#41942] Merge Request for theseus-gui-git
9 Jun
2023
9 Jun
'23
8:49 p.m.
Nixuge [1] filed a request to merge theseus-gui-git [2] into modrinth- app-git [3]: Basically merging to the same package but with a more user friendly name, as "Theseus is typically not the user-facing public name, so it would reduce confusion" Asked by a modrinth team member (@triphora on discord) [1] https://aur.archlinux.org/account/Nixuge/ [2] https://aur.archlinux.org/pkgbase/theseus-gui-git/ [3] https://aur.archlinux.org/pkgbase/modrinth-app-git/
11 Jun
11 Jun
8:56 a.m.
New subject: [PRQ#41942] Merge Request for theseus-gui-git Accepted
Request #41942 has been Accepted by polyzen [1]: [Autogenerated] Accepted merge for theseus-gui-git into modrinth-app- git. [1] https://aur.archlinux.org/account/polyzen/
561
Age (days ago)
563
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org