7c1edc Merge pull request #1229 from shun-iwasawa/fix_plastic_tooloptions

2 files Merged by Jeremy Bullock 8 years ago , Committed by GitHub 8 years ago ,
    Merge pull request #1229 from shun-iwasawa/fix_plastic_tooloptions
    
    Fix crash on using the "skeleton mode" shortcut with the plastic tool