diff options
author | Benjamin Barenblat <bbaren@google.com> | 2018-09-28 18:31:33 -0400 |
---|---|---|
committer | Benjamin Barenblat <bbaren@google.com> | 2018-09-28 18:31:33 -0400 |
commit | 8ac48890e98a4974980b8ca3d5e90a2e52c1a624 (patch) | |
tree | 2acbcd7aafdbe245e67d6cf6e224fa654b1d1f28 /README.md | |
parent | 924d0109218f04f4a34bbfe1f5d18b75e1d9a66d (diff) |
Make NID-to-string routine safer
Eliminate the possibility of a null pointer dereference by converting
short names to `Maybe String`.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions