v0.4.16

matthias.putz@esrlabs.com

f9270f2f · Added: Commands in README for resyncing with official git-repo version · Jul 01, 2016

resyncing with google git-repo v1.12.33