-
Matthias Braun authored
This fixes a bug where the code path handling immediate evaluation was not able to evaluate some Cmp(Confirm, Const) combinations, but the normal code could do it.
5ba59bd3
Der neue Dienst "GitLab am KIT" ist unter gitlab.kit.edu erreichbar.
Dieser Pilot-GitLab wird zum Ende des Wintersemesters 2023/24, d.h. am 31.03.2024, geschlossen // This pilot GitLab will be closed at the end of the winter semester 2023/24 on March 31, 2024
This fixes a bug where the code path handling immediate evaluation was not able to evaluate some Cmp(Confirm, Const) combinations, but the normal code could do it.