Remove space after cast
authorUmherirrender <umherirrender_de.wp@web.de>
Tue, 27 Jun 2017 18:13:04 +0000 (20:13 +0200)
committerUmherirrender <umherirrender_de.wp@web.de>
Tue, 27 Jun 2017 18:13:04 +0000 (20:13 +0200)
One remaining file was fixed

Change-Id: I95f77028219046e14c887cd2e0d5f6ffe98b9cd8


No differences found