Skip to content

Allow empty selection sets#1227

Open
benjie wants to merge 1 commit into
mainfrom
empty-selection-sets
Open

Allow empty selection sets#1227
benjie wants to merge 1 commit into
mainfrom
empty-selection-sets

Commits

Commits on May 23, 2026