I can't test it actually, but il seems fine for me.
Best,
Yannick
2013/9/18 Chris Wright
> On Tue, Sep 17, 2013 at 5:08 PM, Yannick Torrès
> wrote:
>
> > I just push a patch for this :
>
> Great, thanks :-)
>
> On a related note, can you review
> https://github.com/php/web-doc-editor/pull/2 ?
On Tue, Sep 17, 2013 at 5:08 PM, Yannick Torrès
wrote:
> I just push a patch for this :
Great, thanks :-)
On a related note, can you review
https://github.com/php/web-doc-editor/pull/2 ?
This has come about because I just reverted an invalid edit on
en/make_chm_index.html and it is now showing
