mirror of
https://github.com/servo/servo
synced 2026-05-10 00:52:08 +02:00
19.10 has been at end-of-life since July. Also switch to an un-dated Docker Hub tag. Built docker images expire after a month, and when rebuilding we install the latest versions of additional packages. We might has well pick up-to-date versions of the base system as well. We do stay within one Ubuntu release, though.