<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML><HEAD> <META content="text/html; charset=us-ascii" http-equiv=Content-Type> <META name=GENERATOR content="MSHTML 8.00.7600.16722"></HEAD> <BODY> <DIV><FONT size=2 face=Arial><SPAN class=186451717-16022011>A problem report query with originator "Jos Koot" shows 10 open PRs. As far as I can judge, all off them are already fixed or otherwise answered in a satisfying way. As far as I am concerned, they can be closed.</SPAN></FONT></DIV> <DIV><FONT size=2 face=Arial><SPAN class=186451717-16022011>Now I am enjoying 5.0.1.2.</SPAN></FONT></DIV> <DIV><FONT size=2 face=Arial><SPAN class=186451717-16022011>Thanks to the whole PLT !!!</SPAN></FONT></DIV> <DIV><FONT size=2 face=Arial><SPAN class=186451717-16022011>Jos Koot</SPAN></FONT></DIV> <DIV><FONT size=2 face=Arial><SPAN class=186451717-16022011></SPAN></FONT><FONT size=2><FONT face="Courier New"> </FONT></FONT></DIV> <DIV> </DIV></BODY></HTML>