No matter how you like to participate in developer communities, Pulumi wants to meet you there. If you want to meet other Pulumi users to share use-cases and best practices, contribute code or documentation, see us at an event, or just tell a story about something cool you did with Pulumi, you are part of our community.

Pulumi Community

<@U83S3MLQ0> in which release will this fix be available? <https://github.com/pulumi/pulumi/pull/4094>

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.