This message was deleted.

We are expecting to cut a

1.13

release today or tomorrow at the latest!

Sounds brilliant! Thx for the info and the fix. Much appreciated.