Re: MonetDB: Jan2014 - Merge with Jan2014 branch.