fix an old typo and remove a reduntant clause
[web.git] / personal / _posts / 2019-01-12-rust-2019.md
2019-01-12 Ralf JungRust 2019