This message was deleted.

yep sounds like a bug, can you open an issue in github.com/pulumi/service-requests