Merge pull request #761 from whitequark/proc_clean_partial
authorClifford Wolf <clifford@clifford.at>
Sun, 23 Dec 2018 15:16:06 +0000 (16:16 +0100)
committerGitHub <noreply@github.com>
Sun, 23 Dec 2018 15:16:06 +0000 (16:16 +0100)
commit245724a504528156485bbb32710b5e5444899ce1
tree0f40d2aad76556901949dff62905a2eb7e40b331
parent6dad1913779f729222f65e1098a4facb36c5837a
parent18291c20d2b17689729d9c36b08967e928e4e32a
Merge pull request #761 from whitequark/proc_clean_partial

proc_clean: remove any empty cases, if possible to do safely