diff options
| -rw-r--r-- | versions.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/versions.properties b/versions.properties index d24a3bb952..50ef7ea1b0 100644 --- a/versions.properties +++ b/versions.properties @@ -27,7 +27,7 @@ actors-migration.version.number=1.1.0 jline.version=2.12 # external modules, used internally (not shipped) -partest.version.number=1.0.1 +partest.version.number=1.0.3 scalacheck.version.number=1.11.4 # TODO: modularize the compiler |