[PRQ#59240] Deletion Request for roboptim-core-plugin-nlopt-git

micwoj92 [1] filed a deletion request for roboptim-core-plugin-nlopt- git [2]: Plugin for package "roboptim-core-git" which has deletion request pending: (PRQ#59236) [1] https://aur.archlinux.org/account/micwoj92/ [2] https://aur.archlinux.org/pkgbase/roboptim-core-plugin-nlopt-git/