tree db23720ea923d669a24593e0a47e51e4fd464280
parent bab0be855db48bcb798a9c1fc60e1e81141b8ee4
author Sylvain Becker <sylvain.becker@gmail.com> 1572444835 +0100
committer Sylvain Becker <sylvain.becker@gmail.com> 1572444835 +0100

Readability: remove redundant cast to the same type