>>> but yes, 5.1.2 has been released last week

Thanks Thomas!  Compiling now.

Doug

Reply via email to