Am 16.12.2014 um 00:46 schrieb Matthias Andree: > What's missing in AUTHORS? The ö and ě seem to be UTF-8 encoded. Please ignore that question. I was looking at the post-release Git, and I converted that file to UTF-8 on 2014-08-06, ten days after the release.