FYI https://blog.arduino.cc/2019/10/18/arduino-pro-ide-alpha-preview-with-advanc ed-features/ -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mail.triembed.org/pipermail/triembed_triembed.org/attachments/20191019/86295107/attachment.htm>