Skip to content

Fix selection of dependencies for dev shells#2367

Merged
hamishmack merged 1 commit intomasterfrom
hkm/shell-fix
May 22, 2025
Merged

Fix selection of dependencies for dev shells#2367
hamishmack merged 1 commit intomasterfrom
hkm/shell-fix

Commits

Commits on May 22, 2025