repoint nuttx to PRs

This commit is contained in:
Daniel Agar
2022-05-20 16:00:11 -04:00
parent 96f5ecff7c
commit 26d3077912
2 changed files with 2 additions and 2 deletions