Merge pull request #2389 from splitbrain/TaskRunner
commitd6cf40c315f4927548ec4d3e0b020f5642756791
authorAndreas Gohr <andi@splitbrain.org>
Thu, 17 May 2018 07:10:45 +0000 (17 09:10 +0200)
committerGitHub <noreply@github.com>
Thu, 17 May 2018 07:10:45 +0000 (17 09:10 +0200)
tree64c399ee0721dedd109f17af09472d0d985a8c63
parent6ed676baf30a27a29d48a00e02b168d1043e8bb7
parenteb787020323911ca42415ed42452d6a9b6d32a90
Merge pull request #2389 from splitbrain/TaskRunner

New event for trimming recent changes and refactor lib/exe/indexer.php