fyi/fwiw github "reviews" and "review comments" are not at this time..

..being forwarded to mailing lists (such as this one) by the w3c github-notify-ml service. There's an issue tracking this..

https://github.com/dontcallmedom/github-notify-ml/issues/21

=JeffH

Received on Sunday, 11 December 2016 00:50:20 UTC