On Sun, Jan 19, 2025 at 11:18:46AM +0000, not...@aur.archlinux.org wrote: > Not a duplicate of arcanist-git, as it targets a specific branch,
yes, it's is a different branch, but it just a couple of commits different... OK, fair point. > [...] but > nevertheless broken for more than a very long time so it can be > deleted. Which was the main reason why I submitted the request, and it seems you agreed, but rejected it anyway?? Anyway, no rush, it can be deleted later...