[server-pro] add hotfix 3.5.12 for fixing matching version error GitOrigin-RevId: 38611806f6226ad9c7331b5868aa112ced16abd0