649f0f Merge pull request #4353 from shun-iwasawa/fix_maddin200_pointed_problems_2

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