workshop@nuttx.apache.org list: 45 new emails
dev@nuttx.apache.org list: 661 new emails
commits@nuttx.apache.org list: 7312 new emails
private@nuttx.apache.org list: 141 new emails