- From: Antonio Olmo Titos <antonio@w3.org>
- Date: Tue, 15 Dec 2015 12:44:50 +0900
- To: Philippe Le Hegaret <plh@w3.org>, public-w3process <public-w3process@w3.org>, Systeam <w3t-sys@w3.org>
On 27/11/15 Antonio wrote: > On 17/11/15 Philippe wrote: >> +1 > I submitted a PR to mark the repo as obsolete: > https://github.com/w3c/using-github/pull/16 OK to merge that one then, Philippe? -- Antonio Olmo Titos web developer, W3C antonio@w3.org http://w3.org/People/Antonio +81 335162504
Received on Tuesday, 15 December 2015 03:44:58 UTC