Cherry-pick "Merge branch 'ROOTBuildFixes-1.0-20190124' into '1.0'" into master
ROOT Build Fixes, 1.0 branch (2019.01.24.)
See merge request !429 (merged)
(cherry picked from commit 5d0b08a2)
ROOT Build Fixes, 1.0 branch (2019.01.24.)
See merge request !429 (merged)
(cherry picked from commit 5d0b08a2)