Portaria n.º 4219, de 4 de outubro

Torna extensiva a vários funcionários que prestam serviço em repartições dependentes da Direcção Geral da Marinha a melhoria de vencimentos concedida pelo Decreto n.º 10096