clarify conflusion
authorRalf Jung <post@ralfj.de>
Thu, 19 Jul 2018 18:41:06 +0000 (20:41 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 19 Jul 2018 18:41:06 +0000 (20:41 +0200)
commit1d21c8aa1cd08d2d0db34ad62045f754f189e4c9
tree2e0fc90fe23a0327d051b4f51d36ddfbf719c668
parent72177e644c9b658196b02738a874d79417ee4135
clarify conflusion
ralf/_posts/2018-07-19-const.md