Skip to content

Remove unnecessary COOL dependency

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

Cherry-picked from !1827 (merged)

Merge request reports