OPM/opm-core — pull request #415 by atgeirr (2013-10-21 11:56:23+00:00)
Title: Bump version numbers.

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.