Ian Wienand 32640cd026 Update deb-docker path
As a follow-on to I728d38daf9a953a64364689da0648c9339a27693, use the
per-release distro path for the mirror.

Change-Id: Ib75904c801a7de4a914db55ca70b192d586461cd
2020-08-14 15:01:01 +10:00
..
2020-08-14 15:01:01 +10:00
2020-05-07 17:30:48 -05:00
2020-05-07 17:30:48 -05:00
2020-07-03 07:17:22 +10:00
2020-05-07 17:30:48 -05:00
2020-05-07 17:30:48 -05:00