1 # domain_deprecated attribute is being removed from core policy. Leave it 2 # in device-specific policy for device-specific domains. Unlike core policy, 3 # device-specific policy will eventually be deprecated. 4 attribute device_domain_deprecated; 5
