Skip to content

Annotate more globs with allow_empty = True#1674

Merged
fmeum merged 2 commits intomasterfrom fmeum-patch-2Nov 25, 2023

Commits

Commits on Nov 25, 2023