👋 while [upgrading rust to 1.71.1 on the homebrew side](https://github.com/Homebrew/homebrew-core/pull/138466), we found that the 0.72.2 tag is missing? Is that intentional, thanks!