This repository was archived by the owner on Aug 22, 2023. It is now read-only.

Improve pretty errors#42

Merged

chadian merged 1 commit intomasterfrom

Jun 26, 2020

Commits on Jun 26, 2020

Allow for multiple suggestions
chadian
committed