- From: Robin Berjon <robin@w3.org>
- Date: Tue, 23 Oct 2012 09:49:07 +0200
- To: Giuseppe Pascale <giuseppep@opera.com>
- CC: "spec-prod@w3.org" <spec-prod@w3.org>
Hi! On 22/10/2012 13:17 , Giuseppe Pascale wrote: > I added a reference to biblio.js, did a pull request and the request was > merged > https://github.com/darobin/respec/pull/91 > > But I still don't seem to be able to use the reference from my spec. > What is going on? > Is the github version of biblio.js the one actually used or is there a > need for an extra sync? > > This is not the first time I do it, previously worked fine The when biblio.js gets merged it doesn't go into production straight away. It is checked and ships out with the next build. This has since happened for your update! -- Robin Berjon - http://berjon.com/ - @robinberjon
Received on Tuesday, 23 October 2012 07:49:16 UTC