Closed jtrmal closed 1 month ago
Minor fix I didn't think about yesterday -- grepped for all nonconst catches, found only these two.
Merging, thanks @csukuangfj
Minor fix I didn't think about yesterday -- grepped for all nonconst catches, found only these two.