chiark / gitweb /
makebuildserver: explicitly set debian_mirror by default
authorHans-Christoph Steiner <hans@eds.org>
Tue, 26 Jan 2016 12:33:53 +0000 (13:33 +0100)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 26 Jan 2016 16:46:51 +0000 (17:46 +0100)
commit3511c44357df0df3e2e2215d3be6ac3297755857
tree9f8b3010f559a02b1e30b6745a006cc4f710ec0d
parent88d369e2936900f4c03a3994801309e2367ba18e
makebuildserver: explicitly set debian_mirror by default

There needs to be a default, otherwise it crashes.  I should have included
this in 8d66742dd7feec77aa30382bfb38da83f2b3e5a4
makebuildserver