hannes Merge branch 'Dec2016Lite-Python' of https://github.com/hannesmuehlei…
bb2222b Sep 14, 2017
Merge branch 'Dec2016Lite-Python' of https://github.com/hannesmuehlei…
…sen/MonetDBLite into Dec2016Lite-Python
bb2222b