[PRQ#44657] Merge Request for websocketpp-git-dev Accepted

2023-09-30 Thread notify
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/

[PRQ#44657] Merge Request for websocketpp-git-dev

2023-07-15 Thread notify
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.arch