Compilation with DEBUGGING fails
The compilation with DEBUGGING being activated fails.
Similarly, the compilation with SPLIT_REND_WITH_HEAD_ROT being deactivated fails.
WARNING! Gitlab maintenance operation scheduled for Monday, 20 April between 12:00 and 14:00 (CET). During this time window, short service interruptions (less than 5 minutes) may occur. Thank you in advance for your understanding.
The compilation with DEBUGGING being activated fails.
Similarly, the compilation with SPLIT_REND_WITH_HEAD_ROT being deactivated fails.