Skip to content

Consistently use lint_msg instead of msg#1654

Merged
MichaelChirico merged 1 commit intomainfrom
lint_msg_standard
Oct 9, 2022
Merged

Consistently use `lint_msg` instead of `msg`#1654
MichaelChirico merged 1 commit intomainfrom
lint_msg_standard

Commits

Commits on Oct 9, 2022