You can check mIRC's website for releases of updated servers.ini, one was put up the end of april.

ParaBrat @#mIRCAide DALnet