Re: [patch] fix bug 9123

[Jürgen Spitzmüller]

2014-05-18 17:24 GMT+02:00 Richard Heck:

> Fine here.
>

OK, I'll proceed then.

Jürgen


>
> rh
>
>