On 30/07/2015 2:12 a.m., Alan wrote: > This might be the same crash reported in another thread, or a new one. > I noticed it after upgrading from 3.3.11 to 3.5.6. > This appears to be bug 4227. Please upgrade to the 3.5.6 snapshot to avoid it (or 3.5.7 will be out in a few days). Amos