3.12.1

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

# $Id: VERSION 11113 2011-07-07 14:32:00Z maranget $
