> @Joerg: Pauls mail never hit the mailing list. Can you forward it?

must be a problem on you side - it's in the archives:
https://lists.apache.org/thread/xj6qosnjtgxvdf1lh58zs1bv5lh0y0q6

stefan

Reply via email to