Merge branch 'master' into clifford/ids
authorClifford Wolf <clifford@clifford.at>
Thu, 15 Aug 2019 08:22:59 +0000 (10:22 +0200)
committerGitHub <noreply@github.com>
Thu, 15 Aug 2019 08:22:59 +0000 (10:22 +0200)
commit85b0b2c58989402d8b2a4bcade264e28dc246778
treee81654955cedfd7e06339db4004d7860ee0b1e55
parentb25cf3685666b66daa7e6a82f137ad3d633a17aa
parent5422007400bf6f9860d1a230b561fe4fa64f0d32
Merge branch 'master' into clifford/ids
passes/opt/opt_expr.cc