Re: [MonetDB-users] db log shrink