Re: scintilla bugfix
| From: | Markus Fischer | Date: | Tue, 30 Oct 2001 15:23:06 +0000 |
| Subject: | Re: scintilla bugfix | ||
| References: | 1 2 | Groups: | php.gtk.dev |
| Request: | Send a blank email to php-gtk-dev+get-153@lists.php.net to get a copy of this message | ||
On Tue, Oct 30, 2001 at 09:12:40AM -0600, Andrei Zmievski wrote :
> This is somewhat problematic -- what if people try to compile against an
> older version of Scintilla that doesn't have this fix yet?
Another reason to include sources directly with the php-gtk
extension? Probably not ...
- Markus