58b4cd Merge pull request #4382 from shun-iwasawa/fix_maddin200_pointed_problems_3

3 files Merged by Rodney 2 years ago , Committed by GitHub 2 years ago ,
    Merge pull request #4382 from shun-iwasawa/fix_maddin200_pointed_problems_3
    
    Fix maddin200 pointed problems part3