a72e35 Merge pull request #4332 from shun-iwasawa/fix_maddin200_pointed_problems

3 files Merged by Rodney 3 years ago , Committed by GitHub 3 years ago ,
    Merge pull request #4332 from shun-iwasawa/fix_maddin200_pointed_problems
    
    Fix maddin200 pointed problems