José Matos wrote:
This is easy to fix but I am busy right now:

Fixed I think. I am not sure the header choice was sound. Maybe we should put that in the C file?

Abdel.

Reply via email to