Auto merge of #115513 - Urgau:normalize-msg-after-translate, r=petroc… · RalfJung/miri@ca5781b · GitHub

Commit

Auto merge of #115513 - Urgau:normalize-msg-after-translate, r=petroc…

Browse files

…henkov

Don't forget to normalize the translated message

This PR adds a missing call to `normalize_whitespace` after translating an label.

Fixes rust-lang/rust#115498

Loading branch information

bors committed Sep 4, 2023

2 parents f64f615 + 42e88a1 commit ca5781b