[PRQ#44657] Merge Request for websocketpp-git-dev
15 Jul
2023
15 Jul
'23
6:22 p.m.
MarsSeed [1] filed a request to merge websocketpp-git-dev [2] into websocketpp-git [3]: The target package has to switch its source to the 'develop' branch, and the source package is an orphan from 2 years ago with a wrong name. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/websocketpp-git-dev/ [3] https://aur.archlinux.org/pkgbase/websocketpp-git/
1 Oct
1 Oct
1:26 a.m.
New subject: [PRQ#44657] Merge Request for websocketpp-git-dev Accepted
Request #44657 has been Accepted by grawlinson [1]: [Autogenerated] Accepted merge for websocketpp-git-dev into websocketpp-git. [1] https://aur.archlinux.org/account/grawlinson/
410
Age (days ago)
487
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify@aur.archlinux.org