<p>Proved correctness? Sounds like we should merge immediately. ;)</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br>Reply to this email directly or <a href='https://github.com/RIOT-OS/RIOT/pull/126#issuecomment-22573747'>view it on GitHub</a>.<img src='https://github.com/notifications/beacon/nk6wd41MAuvPJXbQc5p53dzT-Ui8klHOCIPTqU4-bA_v6I4or6ysCLteJLGtn5cu.gif' height='1' width='1'></p>