Repository navigation

Fix type of `ParseError.name` - #105

Merged

edemaine merged 1 commit into

mainfrom

Sep 18, 2026

Merged

Fix type of `ParseError.name`#105
edemaine merged 1 commit into
mainfrom
error-type

Greptile Apps / Greptile Review succeeded Sep 18, 2026 in 1m 35s

Greptile Review

Greptile has reviewed the Pull Request.

1 files reviewed, 0 comments added.

View more details on Greptile Apps