[riot-notifications] [RIOT-OS/RIOT] uhcp: fix handling of pushed prefix (#15359)

[Martine Lenders]

@miri64 pushed 1 commit.

3e2d185732e029ed34d6d77c1225654ab39527da  fixup! uhcp: fix handling of pushed prefix


-- 
You are receiving this because you are subscribed to this thread.
View it on GitHub:
https://github.com/RIOT-OS/RIOT/pull/15359/files/07f2c7d3ec2f96cd99a3c8ff9c7d6f520d29ea5b..3e2d185732e029ed34d6d77c1225654ab39527da
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.riot-os.org/pipermail/notifications/attachments/20201102/5870b081/attachment.htm>