[riot-notifications] [RIOT-OS/RIOT] dist/tools: add sort-variables script (#6818)
notifications at github.com
Tue Sep 10 11:35:16 CEST 2019
Sorry for being unresponsive here.
I still don't have time to invest in this. As I said, I guess we could remove comments when sorting. If everyone can live with this, then we could merge.
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