<p><span class="h-card" translate="no"><a href="https://chaos.social/@jaseg" class="u-url mention">@<span>jaseg</span></a></span> i think smoltcp might have 6lowpan as a PR somewhere?</p>