Merge pull request #2759 from HideoYamauchi/fix_device_register
High: scheduler: Resolves an issue where STONITH devices cannot be registered