PS Thanks to Frank Lominé for his report at http://<email address hidden>/msg03492.html and to Anton for bug #563894, if related.
PS Thanks to Frank Lominé for his report at http://<email address hidden> /msg03492. html and to Anton for bug #563894, if related.