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.
4attribute device_domain_deprecated;
5