Re: [MonetDB-users] Any plan to support Ubuntu Server 12.04