[PRQ#62633] Deletion Request for deheader

MarsSeed [1] filed a deletion request for deheader [2]: Build execution fails, but no one seems to have noticed. Looks like upstream has abandoned creating sufficiently frequent release tags since 1.5+ years ago (Feb 2023). [a] However, there is a maintained and working AUR/deheader-git package. [b] Upstream's master branch receives adequate attention from developer Eric S. Raymond. [c] I think it makes sense for users to find and build only the '-git' AUR package. [a]: http://www.catb.org/~esr/deheader/ [b]: https://aur.archlinux.org/packages/deheader-git [c]: https://gitlab.com/esr/deheader/-/commits/master [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/deheader/