Merge pull request #1857 from whitequark/splitnets-skip-processes
authorwhitequark <whitequark@whitequark.org>
Thu, 9 Apr 2020 04:03:30 +0000 (04:03 +0000)
committerGitHub <noreply@github.com>
Thu, 9 Apr 2020 04:03:30 +0000 (04:03 +0000)
splitnets: skip modules with processes


Trivial merge