Изменение рабочего времени на майские праздники. Другие предприятия будут работать в обычном режиме.