Constant obs_key_OBS_KEY_REDO

pub const obs_key_OBS_KEY_REDO: obs_key = 465;