--- Comment #30 from Dominique d'Humieres <dominiq at lps dot> ---
I have submitted a patch some time ago at

Mike asked for some changes and I got distracted before being able to fulfill
the requests.

I can do it in the coming week, but if someone want to do it sooner, there is
no problem.

Reply via email to