[riot-devel] Accidentally pushed my master (one PR affected)

Christian Mehlis christian at m3hlis.de
Wed Jan 15 00:46:20 CET 2014

Hi everyone,

I accidentally push my private master to main repository...so I think 
this PRs need to get reapplied:


In case someone has the latest RIOT on disk please push it to github again.

I'm going to bed now...

Cheers Christian

More information about the devel mailing list