merge develop into main for release v0.12.0 #569

Closed keithm-xmos closed 1 year ago