Commit 8fa9fd14daaef1c185a6751487bf26fe0b14e9f2

Stefan Sperling 2018-11-11T15:14:58

remove unnecessary cast