- From: Gregg Kellogg via GitHub <sysbot+gh@w3.org>
- Date: Wed, 02 Feb 2022 14:56:13 +0000
- To: public-shex-dev@w3.org
IMO, diffs are actually less useful than an appendix summarizing the change with a reference to the associated PR. PR Preciew does a good job of a diff for that specific change. I think it still uses Shane’s original htmldiff tool. -- GitHub Notification of comment by gkellogg Please view or discuss this issue at https://github.com/shexSpec/shex/issues/118#issuecomment-1028023137 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 2 February 2022 14:56:15 UTC