Re: drop superfluous libexecdir (#1360)

also, each PR contains links below "merge using commandline" -- you could do
those commands, except push, and do extra commits with git amend to the
"merge" commit. then all features work:

1. you could do your amend, which be visible as diff of the "merge commit"
2. merge commit is there for github
3. original commits from reporter are unaltered

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