Rearrange better code and explanation for dynamic_cast. Thanks Vincent for the suggestion!
1 related merge request: !118 Fixes from my notes of the second day of March 2024 session
latest
branch
2 jobs
2 minutes 59 seconds, queued for 0 seconds