Skip to content

CP-!1827: Minor cherry-picked changes

Cristian Le requested to merge LecrisUT/octopus:cp-cmake/1 into main

Minor commits:

  • Missing #include "config.h"
  • Switch to NDEBUG guard for push_sub/pop_sub

Merge request reports