<p><a href="https://github.com/emmanuelsearch" class="user-mention">@emmanuelsearch</a>, <a href="https://github.com/thomaseichinger" class="user-mention">@thomaseichinger</a>, is this still the case?</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/issues/3198#issuecomment-137461169">view it on GitHub</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/AEn7YOOIQHoNyN9ZvkjgU3cB-fZNSusyks5ouEvWgaJpZM4FBatE.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/RIOT-OS/RIOT/issues/3198#issuecomment-137461169"></link>
  <meta itemprop="name" content="View Issue"></meta>
</div>
<meta itemprop="description" content="View this Issue on GitHub"></meta>
</div>