The branches python-work, java-work and parallel-tests-maint have been merged into maint and/or master; also, no more work on them is planned in the short(ish) term. So I've removed them.
Regards, Stefano
The branches python-work, java-work and parallel-tests-maint have been merged into maint and/or master; also, no more work on them is planned in the short(ish) term. So I've removed them.
Regards, Stefano