# 4.6.2



* Bug #9606: wt-port: dynamic pointer cast is incorrectly translated