tone it down a little
authorRalf Jung <post@ralfj.de>
Sat, 15 Jul 2017 04:04:09 +0000 (21:04 -0700)
committerRalf Jung <post@ralfj.de>
Sat, 15 Jul 2017 04:23:41 +0000 (21:23 -0700)
commit2ccd2fcebe3e1773b600e80fc512e304fd3ac500
treeb0ec7b761a6836ff54c5e30d9352822c4e0fabdf
parentd6bd0e0a4b8ab6091b42f6d5ea45f4582d1f4f0a
tone it down a little
ralf/_posts/2017-07-14-undefined-behavior.md