Merge pull request #433 from dunjut/master
authorDan Williams <dcbw@redhat.com>
Sat, 29 Apr 2017 01:58:17 +0000 (20:58 -0500)
committerGitHub <noreply@github.com>
Sat, 29 Apr 2017 01:58:17 +0000 (20:58 -0500)
scripts: cleanup() should rm net container in docker-run.sh


Trivial merge