[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: IMAPEXT prepared for shutdown




Alexey Melnikov writes:
This is not correct. The main reason is that the editor ran out of time/energy and considering other IETF committments can't get ACL2 finished.

OK.

Arnt