Skip to content

feat: report non-fatal translation diagnostics - #437

Merged
webern merged 2 commits into
m/mxdev-errinfofrom
m/mxdev-errwarn
Sep 16, 2026
Merged

feat: report non-fatal translation diagnostics#437
webern merged 2 commits into
m/mxdev-errinfofrom
m/mxdev-errwarn

docs: clarify diagnostics usage and internals

2e7b619
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar