Re: [aur-general] Deletion request: zanshin

[Felix Yan]

I guess the name "zanshin" could be okay if it is a product name, just
like we have "mayavi" instead of "python2-mayavi" in the repos.