The upgrade script now refers to the new coordinator (#320)
The upgrade script now refers to the new coordinator (#320)


netsec-ethz/scion-coord,netsec-ethz/scion-coord,netsec-ethz/scion-coord,netsec-ethz/scion-coord,netsec-ethz/scion-coord,netsec-ethz/scion-coord