Klaus,
I'm very sorry, I completely missed your bug report.
The problem got detected by other means and fixed in 3dcc5bbeb66193a67e08cc25e7f29dfcf2e6b84d.
Regards, Didier
Klaus,
I'm very sorry, I completely missed your bug report.
The problem got detected by other means and fixed in 3dcc5bbeb66193a 67e08cc25e7f29d fcf2e6b84d.
Regards,
Didier