Ian Wienand 50135c56ba Update to mention planet01 ...

This server moved to Xenial and follows our naming convetion, so the
server is now planet01.o.o.  Update to reflect this.

Change-Id: Ib96cb75b893fbbd06debb433067be72899e8a423

2017-04-03 15:16:13 +10:00

..

source

Update to mention planet01

2017-04-03 15:16:13 +10:00