controller: Fetch more messages if we need to filter locally.
authorRicardo Wurmus <rekado@elephly.net>
Sun, 2 Sep 2018 20:35:10 +0000 (22:35 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Sun, 2 Sep 2018 20:35:10 +0000 (22:35 +0200)
commitd8e3dd27572febffd8f3e1baca00d20a20163fd1
tree79eb20b838f059408b15c670ef936ff3b5b3170b
parenta7d74e1af3e34eb909e0558d736ea809d91f562f
controller: Fetch more messages if we need to filter locally.
mumi/web/controller.scm