Since there are a few new APIs and features, but no major changes, it seems proper to move from 1.0 to 1.1, even though strict backward compatibility cannot be expected. Label bumped to 2013.10.
Since there are a few new APIs and features, but no major changes, it seems proper to move from 1.0 to 1.1, even though strict backward compatibility cannot be expected. Label bumped to 2013.10.