Merge pull request #2128 from whitequark/flatten-processes
authorwhitequark <whitequark@whitequark.org>
Tue, 9 Jun 2020 12:41:02 +0000 (12:41 +0000)
committerGitHub <noreply@github.com>
Tue, 9 Jun 2020 12:41:02 +0000 (12:41 +0000)
flatten: accept processes


Trivial merge