Hi, On 20.09.2004 19:00, Andrew de Quincey wrote:
On Monday 20 Sep 2004 17:58, Michael Hunold wrote:The flag stuff should be separated from this.
I'll send you a new patch with it separated out.
Not necessary, but thanks anyway. I've already created the patch. CU Michael.