Merge pull request #2199 from kgaillot/2.0
Fix: scheduler: fix build when DEFAULT_CONCURRENT_FENCING_TRUE is set
Description
Description
Details
Details
- Provenance
kgaillot Authored on Oct 20 2020, 1:30 PM GitHub <noreply@github.com> Committed on Oct 20 2020, 1:30 PM - Parents
- rP40b8f70186b2: Fix: scheduler: fix build when DEFAULT_CONCURRENT_FENCING_TRUE is set
rP878658661966: Merge pull request #2194 from clumens/rc1-finshing - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes