Re: drop superfluous libexecdir (#1360)

> cherry pick 2d6b205 as well.

Done, thanks!

> why not just do PR merge?

Well I have a little `apply 123` shell function that applies PR 123 with
`git am`, and then I often amend minor cleanups.  I like this workflow, and
I think it's a feature that the committer is recorded without an empty merge
commit.  But I know it's not the workflow envisioned by GitHub, and I know
that people are unhappy if GitHub is unhappy, so i do consider changing the
workflow one day ...

-- 
Reply to this email on GitHub:
https://github.com/monitoring-plugins/monitoring-plugins/pull/1360#issuecomment-145007047