korjjj [1] filed a merge request for dynamips-community [2]:

I think merge would be more appropriate than deletion.

[1] https://aur.archlinux.org/account/korjjj/
[2] https://aur.archlinux.org/pkgbase/dynamips-community/

Reply via email to