Repository navigation

Ask an un-set-up field split for its blocks quietly (#827) - #850

Open

lmoresi wants to merge 3 commits into

developmentfrom

bugfix/subksp-banner-827

Open

Ask an un-set-up field split for its blocks quietly (#827)#850
lmoresi wants to merge 3 commits into
developmentfrom
bugfix/subksp-banner-827

Commits on Oct 15, 2026
- Ask an un-set-up field split for its blocks quietly (#827)
  lmoresi
  committed
  001ba8f
- Review fixes for the quiet sub-solver query (#827)
  lmoresi
  committed
  a820ff0
Commits on Oct 23, 2026
- Merge development into bugfix/subksp-banner-827
  lmoresi
  committed
  377771c