The current cvs checkout is not affected any more. This bug will be fixed in the next upstream release (1.3.10).
The current cvs checkout is not affected any more. This bug will be fixed in the next upstream release (1.3.10).