drop superfluous libexecdir (#1360)

Holger Weiß notifications at github.com
Thu Oct 8 10:21:27 CEST 2015

Another issue is that we work with two branches, `maint` and `master`.	PRs
are always submitted against the "default branch" as configured in GitHub,
and we then apply the PR'd commits to either of the two branches as we see
fit.  Merging the PR'd branch into the non-default branch won't work, of
course ...

Reply to this email on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://www.monitoring-plugins.org/archive/devel/attachments/20151008/9667e9b6/attachment.html>

More information about the Devel mailing list