Hi, 

I' was thinking about tagging 3.1.3 by the end of the month (June 30th). 

Okay with everyone?


-- 
Dirk