tree 2185b2fc92fca682da14bf1fead8a2fd03bb33fd
parent 0738120ce68440cf453fffe1ed78711721b9567b
parent 2d0625a72f9132a8d297ace6502fabcb46b03b6c
author Edwin Kempin <ekempin@google.com> 1453197817 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1453197817 +0000

Merge "Allow to configure an alternative image server"