Skip to content

fix: use correct positions for header errors#3728

Merged
mhuisi merged 1 commit intoleanprover:masterfrom mhuisi:mhuisi/header-error-positionsMar 21, 2024
+29-18

Commits

Commits on Mar 21, 2024