[aur-general] Disown request for `menhir`

[Sergei Lebedev]

Hello,

Is it possible to disown `menhir` [*] package? It has been flagged as OOD
since October, and maintainer seems to ignore the comments completely.

Thanks,
Sergei

[*] https://aur.archlinux.org/packages.php?ID=15726