是否有Z3-announce邮件列表？

Question

我刚刚注意到Z3 4.4.1已经发布。

我无法找到Z3-announce邮件列表。有没有人知道这样的邮件列表是否存在？

修改 我意识到我在Z3 bug跟踪器中问了同样的问题。请参阅答案here。