Request #67300 has been Rejected by MarsSeed [1]: Oh well, this is not urgent after all. Deferring deletion for later, in favor of other requests that have accumulated in the queue and are more important right now.
[1] https://aur.archlinux.org/account/MarsSeed/
