Merge pull request #143 from bgamari/skip-process005
authorMichael Snoyman <michael@snoyman.com>
Mon, 8 Apr 2019 16:43:43 +0000 (19:43 +0300)
committerGitHub <noreply@github.com>
Mon, 8 Apr 2019 16:43:43 +0000 (19:43 +0300)
testsuite: Omit process005 in ghci way


Trivial merge