Matthias Sohn adc1fc645f Merge branch 'stable-5.7' into stable-5.8 ... * stable-5.7: Remove texts which were added by mistake in 00386272 Fix formatting which was broken in 00386272 Change-Id: I7ed3f47cb46e6c1bf483702c8925a24e88658e47		2021-05-11 23:34:30 +02:00
..
org/eclipse/jgit	Merge branch 'stable-5.7' into stable-5.8	2021-05-11 23:34:30 +02:00