Ok. I'm okay with that.
Perhaps you could merge this for me: https://github.com/apache/incubator-nuttx/pull/31I cannot merge my own contributions. This is a trivial change to the the coding standard; Nothing functional is changed. In this case, you should just be able to merge the change directly to master if you agree.
Greg
