> Thanks Benjamin. > Therefore, shall I move them to the renamed 3_1-branch right after the > release of 3.1.1? I think Jakub will do it for us. The so bump to 5 on 2002-07-01 also needs to go in. -benjamin