- Mar 16, 2020
-
-
Jonas Theis authored
* Add database plugin to call garbage collection and close DB on shutdown #284 * Adjust comment
-
- Mar 03, 2020
-
-
jkrvivian authored
-
- Feb 27, 2020
* Add database plugin to call garbage collection and close DB on shutdown #284 * Adjust comment