On Feb 16, 2012, at 11:05 PM, Helene Bilbo wrote:

where can you find this version? on the website the newest version is 13315 and on Jenkins 13320.

jenkins should have updated automatically... I will check why not. -- Marcus Denker -- http://marcusdenker.de