[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:

https://github.com/RIOT-OS/RIOT/pull/497

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