3.12.0+dev25 (2010-05-20)

# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli

# $Id$
