Paul Hoffman wrote: > I believe that you sent this to the wrong (old) address. Instead, > please see<https://www.ietf.org/mailman/listinfo/ietf-types> Whoops, you're right. I've resent the message to the correct address (ietf-types at ietf.org). Thanks, Jesse -- Jesse Alama http://centria.di.fct.unl.pt/~alama/