On Wed, Oct 29, 2003 at 02:01:21PM +0100, Lars Gullik Bjønnes wrote:
> But you are saying that my next patch just as well can change
> FINISHED_POP to just FINISHED?

Presumably.

Andre'

Reply via email to