Re: [Monetdb-developers] confused by Timer/QueryHistory/CallHistory