Cherry-pick "Merge branch 'AthenaCoolCoral-2.0.113-patches-20211101' into '2.0.113-patches'" into master
Athena COOL/CORAL Patch, 2.0.113-patches branch (2021.11.01.)
See merge request !882 (merged)
(cherry picked from commit a6f681c8)
- ac1dc53b Made it possible to build COOL/CORAL as part of AthenaExternals.