Skip to content

Fix #563: address bug in MapAnyOf

Gerhard Raven requested to merge issue-563 into 2024-patches

Fix #563 (closed): MapAnyOf did not properly short-circuit.

Merge request reports