Skip to content

allow .. as an identifier, fixes #1875#1878

Merged
dralletje merged 1 commit intomainfrom ellipsisFeb 1, 2022

Commits

Commits on Jan 30, 2022