Skip to content

New version: Devito v1.4.0#147789

Merged
JuliaTagBot merged 1 commit intomasterfrom
registrator-devito-06ed14b1-v1.4.0-32122db188
Feb 6, 2026
Merged

New version: Devito v1.4.0#147789
JuliaTagBot merged 1 commit intomasterfrom
registrator-devito-06ed14b1-v1.4.0-32122db188

Commits

Commits on Feb 6, 2026