On Tue, 2007-10-30 at 11:28 +0200, S.Çağlar Onur wrote: > Is it OK to push following to solve this problem, if not what is your > suggestions? Your patch looks good, please push, thanks. Richard.