Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
make docker-setup fall through to docker-new-db #3536
Closes #3535 by making
This hopefully also fixes converalls.
Test this by pulling master, running
Nevermind, got it