[PRQ#44229] Deletion Request for choreonoid-git Rejected

10 Jul 2023


      Request #44229 has been Rejected by MarsSeed [1]:

(Mistake.)

[1] https://aur.archlinux.org/account/MarsSeed/

notify＠aur.archlinux.org