A local holiday has been declared by the Punjab Government on May 10 for Government Offices, Boards/Corporations and Government Educational…