Merge pull request #141543 from dbirks/bugfix/pulumi
authored by Artturi and committed by GitHub 4 years ago 9aeeb757 bcfe04dc