<div dir="ltr">Dear folks<div><br></div><div><a href="http://jenkins.named-data.net">jenkins.named-data.net</a> has been migrated to a new master server on Mar 29 evening.</div><div>The new master server sits on the same physical machine, but it is allocated with more memory and disk space, and is created with Vagrant.</div><div>Thanks Eric for the hard work.</div><div><br></div><div>This migration should have no impact on build jobs.<br></div><div>If you notice issues, please contact Eric (CC'ed) for help.</div><div><br></div><div>Yours, Junxiao</div></div>