COVID-19: Prefeitura de Petrolina abre mais vagas de agendamento para terceira dose de idosos e profissionais de saúde