Re: [Monetdb-developers] [SQL] Header line change, support for warnings/info