Skip to content

Commit

Permalink
de: add changes from #828
Browse files Browse the repository at this point in the history 
This imports the changes from #828. I ran `msgcat --no-wrap` again to
avoid spurious differences.
  • Loading branch information
@mgeisler
mgeisler committed Jul 11, 2023
1 parent 6f17e8b commit aa9f337
Showing 1 changed file with 217 additions and 242 deletions.
Loading

0 comments on commit aa9f337

Please sign in to comment.