Closed this issue 7 days ago · 1 comments
Cf e.g. https://github.com/divvun/divvun-keyboard/runs/14209012904
Fixed.