For a 1.12 release#221

Merged

ablaom merged 6 commits intomasterfrom

Jul 19, 2025

Commits on Jul 13, 2025

Commits on Jul 17, 2025

Merge pull request #219 from JuliaAI/interactive-utils
ablaom
authored

Commits on Jul 18, 2025

tweak overloading of Base.in
ablaom
committed

Commits on Jul 19, 2025

Merge pull request #220 from JuliaAI/tweak-overloading-of-in
ablaom
authored