Sorry, last mail should have gone to bug 922112 and have been a real bounce so that it is clear that it is from Jens. Somehow the initial bounce did not appear on bug 922112 so far.
Sorry for the noise. -- Martin
Sorry, last mail should have gone to bug 922112 and have been a real bounce so that it is clear that it is from Jens. Somehow the initial bounce did not appear on bug 922112 so far.
Sorry for the noise. -- Martin