tree 4e2f2fd65af645a7a8b066b69dd8d0d7589febde
parent a3f0294e894aa66a365212822617a23db320c408
author Björn Pedersen <bjoern.pedersen@frm2.tum.de> 1466438177 +0200
committer Björn Pedersen <iceelch@googlemail.com> 1466492572 +0000

Fix sha1-hashes

They are to be out of sync with the referenced version from gerrit
master.

Change-Id: Iae21f4262ea29017019cd64391b8321c6a1c3b12