Summary

Fix some issues with the debian package I missed somehow

Review Request #995 — Created Oct. 4, 2021 and submitted Oct. 4, 2021, 9:49 a.m. — Latest diff uploaded Oct. 4, 2021, 9:35 a.m.

Owner

grim

Repository

gplugin/gplugin

Branch

default

Bugs

Depends On

Groups

People

Description

Fix some issues with the debian package I missed somehow

Testing Done

Built and installed the packages and verified all of the include files we installed.

Review Board 6.0.2