Skip to content

Remove unnecessary COOL dependency

Marco Cattaneo requested to merge cherry-pick-2d2b2999-5 into hlt2016-patches

Cherry-picked from !1827 (merged)

Merge request reports