1 Commits

Author	SHA1	Message	Date
Zahary Karadjov	e9754cf69c	More improvements to the docker build scripts ... * Make the build deterministic by pinning it to a particular revision * Add curl as a run-time dependency * Use the improved Docker practices for the Nimbus build as well	2019-03-23 13:24:48 +02:00