tree 96e3f06109f3373ca119cbb311b7fdeb660b2251
parent 0f5b37de7de451d449817d8d7e4b7a081acce06a
author Björn Pedersen <bjoern.pedersen@frm2.tum.de> 1466438177 +0200
committer David Pursehouse <dpursehouse@collab.net> 1468985034 +0900

Fix sha1-hashes

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

Change-Id: Iae21f4262ea29017019cd64391b8321c6a1c3b12