mirror of
https://github.com/KevinMidboe/python-gpiozero.git
synced 2025-10-29 17:50:37 +00:00
Permit replacement of pin_factory without closing old factory. However, continue closing devices associated with extant pin factory at script termination.