Hi, I package Zsh for Homebrew on macOS. The 5.4.2 tarball has been up on https://www.zsh.org/pub/ since 25 days ago, but it was never announced on the zsh-announce mailing list, and http://zsh.sourceforge.net/Arc/source.html still lists 5.4.1 as the latest. Meanwhile, zsh-5.4.1.tar.xz and zsh-doc-5.4.1.tar.xz are gone on https://www.zsh.org/pub/. So, what exactly is the situation with 5.4.2? Should we go ahead and release it? Best, Zhiming