Merge pull request #2213 from alexlarsson/summary-bugfixes
authorOpenShift Merge Robot <openshift-merge-robot@users.noreply.github.com>
Thu, 8 Oct 2020 19:18:34 +0000 (15:18 -0400)
committerGitHub <noreply@github.com>
Thu, 8 Oct 2020 19:18:34 +0000 (15:18 -0400)
Various fixes from the indexed-summaries branch


Trivial merge