Skip to content
GitLab

Fix an unprotected DEBUG

Merged 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