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