[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#24767: jgraph comments not recognized any more
From: |
Alan Mackenzie |
Subject: |
bug#24767: jgraph comments not recognized any more |
Date: |
Sun, 30 Oct 2016 17:37:30 +0000 |
User-agent: |
Mutt/1.5.24 (2015-08-30) |
Hello, Stefan.
On Sat, Oct 29, 2016 at 11:12:51AM -0400, Stefan Monnier wrote:
> > Would you try out the following patch, please, and let me know whether
> > there are still problems with it. Thanks.
> I confirm it fixes my problems, thank you,
I've committed it, and am closing the bug.
> Stefan
--
Alan Mackenzie (Nuremberg, Germany).