Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge #507: Fix Debian version in dockerfile
e333345 Fix Debian version in dockerfile (Kiminuo) Pull request description: Follow-up PR to #500. ACKs for top commit: achow101: ACK e333345 Tree-SHA512: c8b0cf1b13e27bc8b0096076d9b2224f7a9778a7ffb1be6de9039932c73381c29617801508b66a74986bea2f55df2377dc3d956bf443f17b7c1a80131f835599
- Loading branch information