On Thu, Apr 2, 2020 at 7:59 PM Gregory Nutt <spudan...@gmail.com> wrote:
> You should open an issue, or better, push a PR.

I opened issue #698 -- https://github.com/apache/incubator-nuttx/issues/698.

Reply via email to