Art. 9

In favore del personale gia' in servizio presso gli enti pubblici di cui al decreto legislativo 23 dicembre 1946, n. 520, che fosse stato licenziato per effetto del regio decreto-legge 17 novembre 1938, n. 1728, si intendono estese le norme contenute nel regio decreto-legge 6 gennaio 1944, n. 9, regio decreto-legge 20 gennaio 1944, n. 25, e decreto legislativo luogotenenziale 19 ottobre 1944, n. 301. L'onere relativo fa carico allo Stato.