On Jul 21, Anika Henke wrote: > Hi infrastructure team, > > In preparation for the upcoming bug hunting day, can someone please > make changes to the available versions? > > a) Change "April 2012 release" to "Autumn 2012 release". > b) Add "Spring 2013 release". I changed that in the bug tracker. -- bug