Alex Rousskov writes:
>On Wed, 8 Jul 1998, Michael Fuhr wrote:
>
>> Was I correct in noticing that this breaks refresh_pattern? Or am I
>> missing something?
>
>Unfortunately, you got it right. It is a rather unpleasant, hard-to-fix bug.
Well, actually we have a fix in progress. It needs a bit more testing.
Duane W.
Received on Tue Jul 14 1998 - 21:03:22 MDT
This archive was generated by hypermail pre-2.1.9 : Tue Dec 09 2003 - 16:41:07 MST