private@nuttx.apache.org list: 124 new emails
dev@nuttx.apache.org list: 667 new emails
commits@nuttx.apache.org list: 6979 new emails