[riot-notifications] [RIOT-OS/RIOT] lwip_tcp: fix build with DEVELHELP=0 (#16740)

Francisco notifications at github.com
Mon Aug 16 08:36:39 CEST 2021

@fjmolinas approved this pull request.

ACK, got the described build results without the patch.

You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20210815/9771e6aa/attachment.htm>

More information about the notifications mailing list