Closed janjongboom closed 8 years ago
@jupe Could you have a look at this too please.
@tommikas @jupe In all fairness, I don't care where it goes as long as it's updated :p
I figured as much :P Rather than try to specify exactly what changes you should do to have this merged in, I figured it'd be faster for me to make a quick PR with my own suggestion. I hope you don't mind.
Could you take a look at https://github.com/ARMmbed/mbed-trace/pull/50 and let me know what you think?
Merged in the other PR so I'll close this one.
@tommikas