I'm going to lock this issue because it has been closed for _30 days_ ⏳. This helps our maintainers find and focus on the active issues.

[buhtz]

Please deactivate that annoying bot polluting my inbox with noise.

That issue was closed. So leave it.

Bots are so impolite.

See: https://github.com/hashicorp/vagrant/issues/12874#issuecomment-1284835454