Rearrange better code and explanation for dynamic_cast. Thanks Vincent for the suggestion!
Passed
GILLES Sebastien
created pipeline for commit
33d80635
, finished
1 related merge request: !118 Fixes from my notes of the second day of March 2024 session
2 minutes 59 seconds, queued for 0 seconds
prepare