Accidentally pushed my master (one PR affected)

Development archive
1

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

2

Hi, a word of advice from someone who pushed to upstream accidentally, too (though fortunately not master by now): use the git://github.com/RIOT-OS/RIOT for your upstream remote. You can not write to those :wink:

Cheers, Martine

3

Yep I did this as fix for future human errors :slight_smile:

Best Christian