Skip to content

followup for #16717: minimized example + improved comment#16721

Merged
Araq merged 1 commit intonim-lang:develfrom timotheecour:pr_16717_followupJan 15, 2021

Commits

Commits on Jan 14, 2021