Modificazione del secondo comma dell'art. 8 del R. decreto 15 dicembre 1936-XV, n. 2335, recante varianti ai ruoli del personale del Corpo Reale delle miniere.