terrarier2111 38e06ef7ae Removed redundant assignment (#10853) ... Motivation: Found a redundant assignment. Modification: Removed the redundant assignment. Result: Minor performance improvement.		2020-12-10 10:29:49 +01:00
..
src	Removed redundant assignment (#10853)	2020-12-10 10:29:49 +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