[PRQ#40187] Merge Request for washingtondc-git
15 Feb
2023
15 Feb
'23
10:04 a.m.
Dreamkey [1] filed a request to merge washingtondc-git [2] into washdc-git [3]: The author renamed its emulator from WashingtonDC to washDC: https://washemu.org/ [1] https://aur.archlinux.org/account/Dreamkey/ [2] https://aur.archlinux.org/pkgbase/washingtondc-git/ [3] https://aur.archlinux.org/pkgbase/washdc-git/
27 Feb
27 Feb
10:29 p.m.
New subject: [PRQ#40187] Merge Request for washingtondc-git Accepted
Request #40187 has been Accepted by Antiz [1]: [Autogenerated] Accepted merge for washingtondc-git into washdc-git. [1] https://aur.archlinux.org/account/Antiz/
620
Age (days ago)
632
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org