Robert Zenz c9e6fad442 Fixed that auto_compacting couldn't be turned off, also added ...

parameter to compact().

2015-02-12 21:05:52 +01:00

..

utils

Fixed that auto_compacting couldn't be turned off, also added

2015-02-12 21:05:52 +01:00