Backports for 0.28#694

Merged

penelopeysm merged 2 commits intobackport-0.28from mhauru/backport-0.28

Oct 17, 2024

+86-34

Commits on Oct 17, 2024

Allow empty subsets of VarInfos (#692 )

mhauru
and
github-actions[bot]
committed
For VarInfo, fix merge and allow push!!ing new Symbols (#690 )
mhauru
committed