Merge pull request #2255 from clumens/empty-resource-list
Fix: scheduler: Don't output a resource header with no list.
Description
Description
Details
Details
- Provenance
kgaillot Authored on Dec 9 2020, 10:16 AM GitHub <noreply@github.com> Committed on Dec 9 2020, 10:16 AM - Parents
- rP12b30c920dd1: Fix: scheduler: Don't output a resource header with no list.
rPdbbcf789f616: Merge pull request #2256 from kgaillot/fixes - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes