tree 4e40d72a60699089743373931c3472027d5733cd
parent ac828b13e70d7c4c09670a0014a4f1736bbacdf0
author Patrick Wiener <wiener@fzi.de> 1570452273 +0200
committer Fabian Hueske <fhueske@apache.org> 1578430841 +0100

[hotfix] Use correct checkpoint docker volume as set in state.checkpoint.dir.

This closes #6.