On Monday 12 September 2016, at 11:25 +0200, Martijn van Oosterhout wrote: > As noted in my other email, the disk was full... Thanks a lot for the info and for taking care of the system. beatrice