15 October Announced As Gazetted Holiday in Punjab