The two changes discussed on the list (thanks to Daniel) have now been addressed and a PR is out
Steve _______________________________________________ Standards mailing list Info: https://mail.jabber.org/mailman/listinfo/standards Unsubscribe: [email protected] _______________________________________________
