Our official mailing list stds-754@xxxxxxxx seems to be fixed now. I will disable stds-754@xxxxxxxxxxx; don't use it any more.
754 | revision | FAQ | references | list archive