Don't lose pull request #687.
authorMarcus Klein <himself@kleini.org>
Sun, 5 Nov 2017 09:28:12 +0000 (10:28 +0100)
committerMarcus Klein <himself@kleini.org>
Sun, 5 Nov 2017 09:28:12 +0000 (10:28 +0100)
commit33438fdaad0a7b943a6ce312b1e1b7e62588cf00
tree218dcc96db65659a62b34e9d918a9bfe8778f166
parent535aec290693b4bf57d85dcf8b8ae081bbfd169f
Don't lose pull request #687.

Take ownership of Docker image. Use latest Ubuntu.
extra/Dockerfile