dev@nuttx.apache.org list: 2449 new emails
private@nuttx.apache.org list: 556 new emails
commits@nuttx.apache.org list: 3477 new emails