[riot-notifications] [RIOT-OS/RIOT] native: use -g3 instead of -g (#10877)
notifications at github.com
Tue Mar 26 19:24:16 CET 2019
cladmi approved this pull request.
If somebody finds any issue with this in the future, it could be changed back but it makes sense to help debugging.
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