Felix>As it is only a few people that can do a merge, I would try to first
What I mean is GitHub's merge button. Felix>Thanks for your work on this whole migration. Thanks. However, I see there 9MiB of jars left in the repo: b10a48fa41c3 14549 lib/jodd-log-3.6.4.jar 780b574cb24f 24538 lib/xpp3_min-1.1.3.4.I.jar 640441dad25a 24677 lib/xpp3_min-1.1.3.4.O.jar 813a9a830bd0 24956 lib/xpp3_min-1.1.4c.jar c73cf12b60e2 111892 lib/commons-pool2-2.4.1.jar 00bad5fda166 204806 lib/jodd-lagarto-3.6.4.jar 1d7417c40313 284184 lib/commons-codec-1.10.jar 111fef9c3634 307637 lib/dnsjava-2.1.7.jar 3a7fc266c3e3 314932 lib/junit-4.12.jar c006d90cbb14 379938 lib/jodd-core-3.6.4.jar a493c3b99d5f 538830 lib/xstream-1.4.8.jar 104e1660f2a7 560997 lib/tika-core-1.9.jar a34d599e7bae 596528 lib/js.jar 0defbe2138e1 679096 lib/tika-parsers-1.9.jar 2b926505d024 708951 lib/js_rhino1_6R5.jar a8b70c7e76c6 1037784 lib/rsyntaxtextarea-2.5.6.jar 76b6eaed61a1 1142627 lib/rhino-1.7R5.jar db99f8c288c7 2038489 lib/commons-math3-3.5.jar I've no idea how I missed that. Should we cleanup those as well? Vladimir
