Fix DatabasePool.setupMemoryManagement() #511

Merged

groue merged 1 commit intogroue:GRDB-4.0from signalapp:charlesmchen/fixPoolNotificationName

Apr 5, 2019

+1-1

Commits on Apr 4, 2019

Fix notification name.
charlesmchen-signal
committed