Skip to content

Make error message for unknown boundary name more helpful#1762

Merged
DanielDoehring merged 2 commits intotrixi-framework:mainfrom efaulhaber:helpful-error-boundary-namesDec 6, 2023
+4-2

Commits

Commits on Nov 29, 2023

Commits on Dec 6, 2023