Currently the binary distribution of an official release is made by hand, which is error-prone. It would be a good idea to automate the process and this would also help us get in the habit of releasing a binary distribution together with the sources when there's a new version.
Currently the binary distribution of an official release is made by hand, which is error-prone. It would be a good idea to automate the process and this would also help us get in the habit of releasing a binary distribution together with the sources when there's a new version.