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)
commit938a55119ca72aaec5013d8946aa317004fe3e48
tree53336e90784a4af2e6cf7047e5a456ff5ec58ff7
parentb73fa4e1c72c3b2fc17dc8ffea69efc1e62846a6
tone it down a little
personal/_posts/2017-07-14-undefined-behavior.md