Portaria n.º 4217, de 1 de outubro

Torna extensiva, respectivamente, ao pessoal da Direcção dos Serviços Marítimos e do trôço do mar em serviço na primeira das referidas Direcções as melhorias concedidas pelo Decreto n.º 10096