fix: correct Devstral 2 model name#1019

Merged

stephanj merged 1 commit intomasterfrom

fix/issue-1018-devstral-model-name

Apr 28, 2026

Commits on Apr 28, 2026

fix: correct Devstral 2 model name
stephanj
committed