[cleanup] Remove some redundant code in batch_bool_constant#1217
Merged
serge-sans-paille merged 1 commit intomasterfrom Nov 21, 2025
Merged
[cleanup] Remove some redundant code in batch_bool_constant#1217serge-sans-paille merged 1 commit intomasterfrom
serge-sans-paille merged 1 commit intomasterfrom