terrarier2111 c22cd7c347 Removed redundant local variable (#10858) ... Motivation: Found a redundant local variable. Modification: Removed the local variable. Result: Minor performance improvement.		2020-12-15 08:07:40 +01:00
..
src	Removed redundant local variable (#10858)	2020-12-15 08:07:40 +01:00
pom.xml	Use http in xmlns URIs to make maven release plugin happy again (#10788)	2020-11-10 10:51:05 +01:00