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)
commit9a2cf5e3db15218af9a5320a8ca1a7f190aa236b
treea185df7153771283b6b9afb17ad918bdea60adac
parent3dc32490e071f221481c7bae9285957565026d76
parent98e108034561bb3a9276594ebef2f80da38748ad
Merge pull request #2128 from whitequark/flatten-processes

flatten: accept processes