Merge branch 'master' into clifford/fix1255
authorClifford Wolf <clifford@clifford.at>
Thu, 15 Aug 2019 20:44:38 +0000 (22:44 +0200)
committerGitHub <noreply@github.com>
Thu, 15 Aug 2019 20:44:38 +0000 (22:44 +0200)
1  2 
passes/opt/opt_expr.cc

Simple merge