#3390: rename hide_parse_errors to show_parse_errors#5961

Merged

ytmimi merged 1 commit intorust-lang:masterfrom waterstopper:master

Dec 16, 2023

+43-10

Commits on Dec 14, 2023

add show_parse_errors option instead of hide_parse_errors

llesha
authored and
ytmimi
committed