Commit dab55a8d2321efa13aab35921bc03c7daacd294a

Sylvain Becker 2019-10-30T16:20:58

Readability: remove redundant cast