[riot-notifications] [RIOT-OS/RIOT] Clarify racing responsibilities of saul_reg_rm (#10605)
notifications at github.com
Fri Apr 12 11:42:35 CEST 2019
Shall I then just update this PR with one that removes `saul_reg_rm`, add a competing PR, or is further discussion needed on how to proceed?
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...
More information about the notifications