second github upload after pushing repo to github without gerrit test Mi, 30. Okt 2013 15:02:37

Change-Id: Ib85b9759c3c46dcf3bac9eede6e570dc4a3930f8