I opened issue #698 -- https://github.com/apache/incubator-nuttx/issues/698.
Issues are good.  Someday they will be fixed but it might be weeks or months.  If you really want a quick turnaround, a PR (or patch) is the only way to do that.

Reply via email to