Merge pull request #1169 from whitequark/more-proc-cleanups
authorClifford Wolf <clifford@clifford.at>
Tue, 9 Jul 2019 14:59:18 +0000 (16:59 +0200)
committerGitHub <noreply@github.com>
Tue, 9 Jul 2019 14:59:18 +0000 (16:59 +0200)
commita0787c12f0acd2377fafc2836b70c31c30f7f638
tree19f5df3036e13bc37a32a7a5792df9c928b4bf7a
parent38e942507ea091e5fbbbcf02563919bf1e5d8f54
parent44bcb7a187ffa00921cb14fa50428ce272ce3b6b
Merge pull request #1169 from whitequark/more-proc-cleanups

A new proc_prune pass