#119 Fixes around docker
Merged by pingou. Opened by pingou.
doc_docker  into  master

Download 119.patch
no initial comment

The two commits can be reviewed separately and the commit message should provide some insight on the reasoning applied and why :)

Looks good to me :thumbsup:

Thanks :)

Pull-Request has been merged by pingou

Metadata