Merge pull request #1309 from whitequark/proc_clean-fix-1268
authorwhitequark <whitequark@whitequark.org>
Tue, 20 Aug 2019 00:45:41 +0000 (00:45 +0000)
committerGitHub <noreply@github.com>
Tue, 20 Aug 2019 00:45:41 +0000 (00:45 +0000)
proc_clean: fix order of switch insertion


Trivial merge