Closed floitsch closed 2 months ago
The corresponding generator PR: https://github.com/toitware/toit/pull/3972
The corresponding generator PR: https://github.com/toitware/toit/pull/3972