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/

Reply via email to