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)
commit49301b733eede41f2a4165440eee68c1a71f36e6
tree4fe0f872f39957888d09d363041fb9b1e18c1e83
parent0c5db07cd6cc3c19b926da21a46599f97592b20f
parentd8a2aaa46379df7a07f4b776b7f9981b04999215
Merge branch 'master' into clifford/fix1255
passes/opt/opt_expr.cc