Skip to content

Remove unnecessary COOL dependency

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

Cherry picked from !1827 (merged)

Merge request reports