Hi,
FYI there was a mishap by an anonymous RIOT maintainer this morning which got
fixed by a force push to restore the correction version RIOT master.
Therefore, I had to remerge https://github.com/RIOT-OS/RIOT/pull/2742 and
Cenk's merge commit got lost.
Sorry for any inconvenience!
Cheers,
Dear relentless IoTlers,
die to the storm currently brewing up above Berlin and a scheduling mistake
of my own I'll be a little bit late at c-base. If you are there before me,
grab a beer (or beverage of your choice) at the replicator or the bar and
wait in the mainhall and wait for me. If you
