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) [ ] tag it next wednesday (18th) [ ] tag it two weeks from friday (27th) wondering what folks want, and how many fixes need to go in yet, so wanted to get everyone's opinions here. Bill
