The releases in this directory are labeled according to the revision information in the Subversion source control system. The date that is used for the file name is the last-change date in the repository at build time. Since this is at approximately 0:10 CET, files easily get to carry yesterday's date. When we enter the code freeze period, it can even happen that there have been no changes at all since the last build, in which case an equivalent file of the same name will be built.