Approved after recent change. Three new values were added to monet_options.mx.
Approved after recent change.
Three new values were added to monet_options.mx.

zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb