3.12.0

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

# $Id: VERSION 10670 2010-09-06 13:32:53Z maranget $
