]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #1220 from bjorn3/dont_print_on_trap
authorbjorn3 <bjorn3@users.noreply.github.com>
Mon, 14 Mar 2022 11:51:47 +0000 (12:51 +0100)
committerGitHub <noreply@github.com>
Mon, 14 Mar 2022 11:51:47 +0000 (12:51 +0100)
Replace a lot of print+trap with plain trap


Trivial merge