On Tue, 3 Jan 2017 13:48:02 +0100 Simon Ruderich <simon@xxxxxxxxxxxx> wrote: > I've updated the website [1] for this release. The commits are in > the public web repository [2] (75577c4; tag zsh-5.3.1). If you find > any problems/mistakes please tell me. Thanks! pws