push_specs

Description:

public string[]? push_specs { owned get; set; }