chiark / gitweb /
fix #527008 (update list of codenames for releases)