b@edevau.net Andreas Billmeier adafruit-circuitpython-typing adafruit/Adafruit_CircuitPython_Typing circuitpython@adafruit.com Adafruit Industries