[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:
https://github.com/RIOT-OS/RIOT/pull/16740#pullrequestreview-730367844
-------------- 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