Skip to content

feat: make it possible to use dot notation in m! strings#5857

Merged
kmill merged 3 commits intoleanprover:masterfrom kmill:tomessagedata_defaultOct 27, 2024

Commits

Commits on Oct 27, 2024