[mizar] Maintenace break of Megrez services

[Grzegorz Bancerek <bancerek@cs.shinshu-u.ac.jp>]

Dear Users of Megrez Services,

Megrez Services
  http://megrez.mizar.org/
will not be available
  from 5:30 till 20:00 (Tokyo time zone) Aug, 24th
 (22:30 - 13:00 Warsaw summer time zone)
due to local network shutdown for the maintenance.

Sincerely yours,
Grzegorz Bancerek