Frequently merged change sets
When building old versions (e.g. for comparing benchmark results), it is often necessary to merge in some newer change sets to be able to compile, or to be able to run the benchmark.
svn merge -r2482:2483 http://svn.ipd.uka.de/repos/javaparty/JP/trunk svn merge -r2888:2889 http://svn.ipd.uka.de/repos/javaparty/JP/trunk
New options to jpinvite
svn update jp/bin/jpinvite svn merge -r<branch-copy-ref>:HEAD \ http://svn.ipd.uka.de/repos/javaparty/JP/trunk/jp/bin/jpinvite \ jp/bin/jpinvite