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:
https://github.com/monitoring-plugins/monitoring-plugins/pull/1360#issuecomment-145017539
-------------- 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