Hi Jakub,

Ok for power-ieee128 branch?

OK. Thanks for stepping up!  I am a little distracted right now, but
I think I will also continue working on this for a bit.

Best regards

        Thomas

Reply via email to