On Thu, Jan 31, 2008, Jeff Johnson wrote: > This fix is moderately important, 5.0.2 is likely imminent. Just merge onto 5.0 branch and we can roll 5.0.2 already within the next days. Ralf S. Engelschall rse@engelschall.com www.engelschall.comReceived on Thu Jan 31 23:11:15 2008