I have no guesses what is going on with the list forwarding, but I point out that something did come from you to MLton-announce on Thursday. _______________________________________________ MLton-devel mailing list MLton-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/mlton-devel