downgrade `lang dune` back to 3.19 until we use the new features - #231

Merged

katrinafyi merged 2 commits into

mainfrom

Aug 25, 2026

Commits on Aug 7, 2026

downgrade `lang dune` back to 3.19 until we use the new features
katrinafyi
committed
80552e2

Commits on Aug 25, 2026

Merge remote-tracking branch 'origin/main' into jdfsijiods
katrinafyi
committed
3e2c6c5