[Monetdb-developers] 'MapiClient remember history between sessions' patch