Skip to content

Backport "Mention named givens in double def explainer" to 3.3 LTS#579

Merged
tgodzik merged 2 commits intolts-3.3from
backport-lts-3.3-23833
Sep 21, 2025
Merged

Backport "Mention named givens in double def explainer" to 3.3 LTS#579
tgodzik merged 2 commits intolts-3.3from
backport-lts-3.3-23833

Commits

Commits on Sep 12, 2025