scala/jenkins-scripts — pull request #3 by xeno-by (2013-07-19 13:33:31+00:00)
Title: updates pickling scripts with new benches

/cc @adriaanm