Re: [O] [PATCH] allow klipse export in html

[Yehonathan Sharvit]

Good news. Where is the commit?

On Fri, Mar 24, 2017, 14:15 Matt Price <address@hidden> wrote:

Yay! Thank you!

On Mar 23, 2017 6:25 PM, "Bastien Guerry" <address@hidden> wrote:

Hi Matt,

I finally committed this.  Sorry it took so long and thanks
again for the patch!

Best,

--
 Bastien