Richard van der Hoff 12aebdfa5a
Close the database connection we create during startup (#8131)
... otherwise it gets leaked.
2020-08-19 20:41:53 +01:00
..
2020-08-19 13:41:51 +01:00
2020-08-17 14:12:46 +01:00
2020-08-12 14:03:08 +01:00
2020-08-11 22:01:12 +01:00