0000000000000000000000000000000000000000 15e27b8846ad287f4e2c11ec7a8e547c19709fe6 Christian Dietrich <christian.dietrich@informatik.uni-erlangen.de> 1404138926 +0200	fetch gerrit: storing head
