Hello,
I had a few problems with GitHub and created some bad PRs. I closed them and opened new ones for issue #2623 : “Repair header file include guards”. Could any RIOT dev have a look and maybe merge them ?
Thank you, Alexandru
Hello,
I had a few problems with GitHub and created some bad PRs. I closed them and opened new ones for issue #2623 : “Repair header file include guards”. Could any RIOT dev have a look and maybe merge them ?
Thank you, Alexandru