<p>Merged <a href="https://github.com/RIOT-OS/boards/issues/14" class="issue-link" title="rename kernel_intern.h">#14</a>.</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/boards/pull/14'>view it on GitHub</a>.<img src='https://github.com/notifications/beacon/nk6wd41MAuvPJXbQc5p53Wf-CjW_DXevfJkdjE67qddwADHFJ06lsjrlO7aNekCk.gif' height='1' width='1'></p>