On Jun 12, 2008, at 1:09 PM, William A. Rowe, Jr. wrote:
Folks,we've found lots of nice small fixes to several platforms, and it would seem good to release a 1.3.1 bugfix update fairly promptly. Here are some options[ ] tag it friday (13th)
That way, if people want to, they can switch out 1.3.0 with 1.3.1 asap :)
