- From: Ivan Herman via GitHub <sysbot+gh@w3.org>
- Date: Fri, 20 May 2016 07:26:15 +0000
- To: public-annotation@w3.org
Ok. (I think the mess comes from the fact that some tool somewhere was messed up with capitalization of the file names:-( > On 20 May 2016, at 09:23, Rob Sanderson <notifications@github.com> wrote: > > If we merge, it will remove the CONTRIBUTING and LICENSE files though. I'll add them back into the branch and merge > > — > You are receiving this because you were mentioned. > Reply to this email directly or view it on GitHub <https://github.com/w3c/web-annotation/pull/235#issuecomment-220535935> -- GitHub Notification of comment by iherman Please view or discuss this issue at https://github.com/w3c/web-annotation/pull/235#issuecomment-220536513 using your GitHub account
Received on Friday, 20 May 2016 07:26:17 UTC