No matches were found for subject:"\[Bug other\/66037\] New\: \[docs\] what is the difference between global_options and global_options_set\?"