Hey Eric,

Okay. I will send a patch in less than three years if I feel like
there is anything to gain from it in practice.

Best regards,
Bento

Reply via email to