Is there a place to make suggestions on improvement for monetdb?

Three things that probably seem minor compared to the goals of monetdb, but
which would be very helpful in my opinion:

  - better copy to csv, a la postgres, with keywords lile "csv" and "header"
  - ctrl-c to cancel a query but not kill the mclient sesion
  - history kept and re-used between mclient sessions

--
http://yves.zioup.com
gpg: 4096R/32B0F416

_______________________________________________
users-list mailing list
users-list@monetdb.org
https://www.monetdb.org/mailman/listinfo/users-list