Thu, 20 Jul 2023 23:20:21 +0200Runtime: remove now useless typechecking/convertion
Edouard Tisserant <edouard.tisserant@gmail.com> [Thu, 20 Jul 2023 23:20:21 +0200] rev 3832
Runtime: remove now useless typechecking/convertion