Temporary testing repository for https://github.com/arduino/Arduino/pull/1823