073fe8 Merge pull request #4228 from shun-iwasawa/fix_crash_with_type_tool

2 files Merged by Rodney 2 years ago , Committed by GitHub 2 years ago ,
    Merge pull request #4228 from shun-iwasawa/fix_crash_with_type_tool
    
    Fix crashes when using Type tool