private@nuttx.apache.org list: 144 new emails
commits@nuttx.apache.org list: 4836 new emails
dev@nuttx.apache.org list: 1134 new emails
workshop@nuttx.apache.org list: 19 new emails