Merge pull request #1433 from arik-so/2022-04-rapid-sync-bg-processor
authorJeffrey Czyz <jkczyz@gmail.com>
Thu, 2 Jun 2022 19:10:00 +0000 (14:10 -0500)
committerGitHub <noreply@github.com>
Thu, 2 Jun 2022 19:10:00 +0000 (14:10 -0500)
Allow indication to BackgroundProcessor that graph sync is pending


Trivial merge