Rectificação ao decreto-lei n.º 32037, que regulariza a situação do pessoal que prestava serviço na Direcção das Construções Civis do Ministério da Marinha e que, posteriormente ao decreto-lei n.º 31271, transitou para o Ministério das Obras Públicas e Comunicações