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

<@UBR4U3V8W> Definitely a bug - sorry about that.  I've opened <https://github.com/pulumi/pulumi-terraform/issues/211> so we can investigate.  Curious if you can share the results of `pulumi update --logtostderr -v 9` in DM?