797470 Merge pull request #2988 from manongjohn/fix_help_menu_options

9 files Merged by Rodney 5 years ago , Committed by GitHub 5 years ago ,
    Merge pull request #2988 from manongjohn/fix_help_menu_options
    
    Update Help menu options