Fix #1903
authorMirio <opivy@hotmail.de>
Sun, 2 Apr 2017 19:07:27 +0000 (21:07 +0200)
committerMirio <opivy@hotmail.de>
Sun, 2 Apr 2017 19:07:27 +0000 (21:07 +0200)
commit82fec412d9a1e863fcb8e07a0da9890c39222c75
tree12b14a430d32d8b9b8ffcc6839fb62f0e49e8a14
parentaf7ecbff777859dbf824f2de864d736936b0a12c
Fix #1903
demos/the-big-keybench.dem