gotcha, thanks. is it a heavy lift to provide users with an on/off
toggle? i could submit a feature request to bugzilla, but won't if it's
unlikely to happen.. (i don't have a good sense of how hard that would be
to implement) thanks!!
On Tue, Feb 16, 2016 at 11:08 AM, Sjoerd Mullender
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256
On 16/02/16 16:49, Anthony Damico wrote:
might help with future testing..thanks all
Only by recompiling (including rerunning configure).
- -- Sjoerd Mullender -----BEGIN PGP SIGNATURE----- Version: GnuPG v2
iQEcBAEBCAAGBQJWw0mMAAoJEISMxT6LrWYg0S0IAMTYOhlNn9/07j8c/2WgjP7Z K4pi1zi8s6FxhcY06qrkkae6m0A/ke0+5Zx1OuSVD50rqzXGoP4I/Afo51ACDuxK MAkYn1gA6NTaADV9y5dmcFFChr3SN8Yz5kdXNhEelsYSn5ENxKNbG6XtMmZ0iI5m qyqRLEOrSgGXSfRoJLTrV+Qx5eo5vqDDCszZI/ykp+2ymQm9yX2QYT7PE5y5bGQT nRFtcNQyGnNvC2tP9W4wE3Qeza7DS2rm3FKi7vSVlN8mn5Wwewfm50olVXzJ/Hqu iJPoRRz53oVluhI/PuN0se2HMzFtwzQTqqABi4TdIC+ITZiDW89aKCXKWomPT40= =LBzy -----END PGP SIGNATURE----- _______________________________________________ users-list mailing list users-list@monetdb.org https://www.monetdb.org/mailman/listinfo/users-list