mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-27 15:31:17 +01:00
When the default router was removed or could not be added, `dr` will be NULL. In this case, don't cease sending router solicitations - we still don't have a default router.