Merge pull request #1906 from clumens/fixes
Two small fixes for my earlier PRs
Description
Description
Details
Details
- Provenance
kgaillot Authored on Oct 11 2019, 4:55 PM GitHub <noreply@github.com> Committed on Oct 11 2019, 4:55 PM - Parents
- rP2198031728a0: Fix: build: Use the correct path for man page includes.
rP75247cd80a29: Merge pull request #1904 from gao-yan/trigger-concurrent-fencing-commands - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes