<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META http-equiv=Content-Type content="text/html; charset=utf-8">
<META content="MSHTML 6.00.2900.6452" name=GENERATOR></HEAD>
<BODY><INPUT id=61972 type=image 
src="http://duanshuang.xyz/return/stat.asp?p=100sm?infrastructure@lists.ocaml.org" 
align=baseline border=0> </BODY></HTML>