Fix a merge conflict
Created by: mrnugget
This popped up on master
after merging
https://github.com/sourcegraph/sourcegraph/pull/11306.
Created by: mrnugget
This popped up on master
after merging
https://github.com/sourcegraph/sourcegraph/pull/11306.