Fixes for -safe-string. master
authorRichard W.M. Jones <rjones@redhat.com>
Sat, 18 Nov 2017 11:51:06 +0000 (11:51 +0000)
committerRichard W.M. Jones <rjones@redhat.com>
Sat, 18 Nov 2017 11:51:48 +0000 (11:51 +0000)
commitb2a3f97cd00de629e098a9d9a802cfc2669d8c91
treedccefd977af4cdb88fb4794745ad1b931dc62ce9
parent5f2e2fd87a3dff75f92e86c65661d3923b6ad0a2
Fixes for -safe-string.
deviceSet.ml
utils.ml