Merge pull request #2222 from fkrull/patch-v2020.7
authorOpenShift Merge Robot <openshift-merge-robot@users.noreply.github.com>
Tue, 20 Oct 2020 20:48:37 +0000 (16:48 -0400)
committerGitHub <noreply@github.com>
Tue, 20 Oct 2020 20:48:37 +0000 (16:48 -0400)
lib: add missing GI annotation


Trivial merge