Commit c3843ff9333358166a7e258fae16b0cb5b1d92b5

Thomas de Grivel 2020-04-13T12:54:07

use typecase