On Apr 13, 2012, at 3:51 AM, Bernhard Reutner-Fischer wrote:
> Ping.

Before advancing, has the problem that Rainer pointed out on March 19th with 
your earlier patch been fixed?

Reply via email to