[PRQ#49352] Merge Request for kattis-problemtools
20 Oct
2023
20 Oct
'23
11:10 p.m.
SvartaHjarta [1] filed a request to merge kattis-problemtools [2] into kattis-problemtools-git [3]: Merge for rename [1] https://aur.archlinux.org/account/SvartaHjarta/ [2] https://aur.archlinux.org/pkgbase/kattis-problemtools/ [3] https://aur.archlinux.org/pkgbase/kattis-problemtools-git/
22 Oct
22 Oct
10:33 a.m.
New subject: [PRQ#49352] Merge Request for kattis-problemtools Accepted
Request #49352 has been Accepted by Antiz [1]: [Autogenerated] Accepted merge for kattis-problemtools into kattis- problemtools-git. [1] https://aur.archlinux.org/account/Antiz/
388
Age (days ago)
390
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org