Merge pull request #9 from netmanagers/master
authorJavier BĂ©rtoli <javier@netmanagers.com.ar>
Tue, 24 Nov 2020 16:57:05 +0000 (13:57 -0300)
committerGitHub <noreply@github.com>
Tue, 24 Nov 2020 16:57:05 +0000 (13:57 -0300)
Various fixes for crunch-dispatch-local and tests


Trivial merge