In a notification, Jung said all government offices and local/ autonomous bodies, public sector undertakings under the government of National Capital Territory of Delhi will observe a public holiday on account of "general election to the legislative assembly of Delhi.