drop superfluous libexecdir (#1360)

Elan Ruusamäe notifications at github.com
Fri Oct 2 15:16:34 CEST 2015

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

More information about the Devel mailing list