drop superfluous libexecdir (#1360)

Holger Weiß notifications at github.com
Fri Oct 2 14:41:26 CEST 2015

> 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:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://www.monitoring-plugins.org/archive/devel/attachments/20151002/a636d181/attachment.html>

More information about the Devel mailing list