tree cdd097a7382afb979223ef778488056abd0e6f03
parent 68dc8313e69c54683ac7ffbb2b5e71fcee27c41a
author Nicolas Lopez <nlopezgi@gmail.com> 1540846991 -0400
committer Xin <xingao267@users.noreply.github.com> 1540846991 -0400

adding configs for ubsan for 0.18.0 (#227)