diff options
author | Paul Vinciguerra <pvinci@vinciconsulting.com> | 2018-12-19 13:24:51 -0800 |
---|---|---|
committer | Ole Trøan <otroan@employees.org> | 2018-12-20 10:06:36 +0000 |
commit | 57f170bdf9967e3f8ea6e937a70c7f86187f95a2 (patch) | |
tree | c3c9c837dfe7d51bd3e5b8ab6f646294d2db217b /src/plugins/gbp/gbp.h | |
parent | fe820689cf56e894ae5fa38f33a48b6960038033 (diff) |
Build issue after https://gerrit.fd.io/r/#/c/16508/.
CI passes without this.
Change-Id: Iba542211e7b7b0e43c87a293b63a320b511c3d40
Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'src/plugins/gbp/gbp.h')
0 files changed, 0 insertions, 0 deletions