[PRQ#41217] Merge Request for gnome-shell-extension-valent-git
30 Apr
2023
30 Apr
'23
12:06 a.m.
yochananmarqos [1] filed a request to merge gnome-shell-extension- valent-git [2] into valent-git [3]: Valent now has a built-in GNOME plugin that supersedes the GNOME Shell extension. See https://github.com/andyholmes/valent/commit/de9e2ebd3de8db777bb0cac9ef3ca741... [1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-valent-git/ [3] https://aur.archlinux.org/pkgbase/valent-git/
30 Apr
30 Apr
12:46 a.m.
New subject: [PRQ#41217] Merge Request for gnome-shell-extension-valent-git Rejected
Request #41217 has been Rejected by yochananmarqos [1]: Turns out only the Python plugin was removed. Nevermind. [1] https://aur.archlinux.org/account/yochananmarqos/
607
Age (days ago)
607
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org