This message was deleted.

s

sparse-intern-71089

05/13/2020, 4:14 PM

This message was deleted.

b

billowy-army-68599

05/13/2020, 4:19 PM

please open an issue in github.com/pulumi/pulumi!

👍 1

a

ancient-megabyte-79588

05/13/2020, 4:20 PM

Thanks!

ancient-megabyte-79588

05/13/2020, 4:28 PM

https://github.com/pulumi/pulumi/issues/4623

ancient-megabyte-79588

05/13/2020, 4:28 PM

Thanks again!

Pulumi Community

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.