Skip to content

Fix an unprotected DEBUG

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

See merge request !2374 (merged)

(cherry picked from commit a9a88038)

Edited by Marco Cattaneo

Merge request reports