diff options
author | Jeroen Ooms <jeroenooms@gmail.com> | 2015-05-30 13:42:23 +0200 |
---|---|---|
committer | Jeroen Ooms <jeroenooms@gmail.com> | 2015-05-30 13:42:23 +0200 |
commit | e10aa8549aa6a48af847c1768705ab869c6fcdb6 (patch) | |
tree | 41ea2130f22f4206785397758df1a5575d79cbd1 /tools/mkcasefold.pl | |
parent | e5d216b9190bb0ca6f33e175931630e7aa9bd430 (diff) |
Fix for UBSAN note
Diffstat (limited to 'tools/mkcasefold.pl')
0 files changed, 0 insertions, 0 deletions