Skip to content

Say and N more when a typed-hole refinement list is cut - #165

Open
amandeavor wants to merge 1 commit into
simontreanor:mainfrom
amandeavor:fix/truncated-refinement-list-says-and-n-more
Open

amandeavor wants to merge 1 commit into
simontreanor:mainfrom
amandeavor:fix/truncated-refinement-list-says-and-n-more

Say `and N more` when a typed-hole refinement list is cut

fbea5d5
Select commit
Loading
Failed to load commit list.