20170713 business.india-business: RBI has cut staff holidays to count junked notes: Patel