Merge pull request #2652 from ivaradi/debian-version-discrepancy
authorIstván Váradi <ivaradi@users.noreply.github.com>
Mon, 30 Nov 2020 15:46:20 +0000 (16:46 +0100)
committerGitHub <noreply@github.com>
Mon, 30 Nov 2020 15:46:20 +0000 (16:46 +0100)
commit62bf777cda09ad24ebd24a83cdf24343e3ef2311
tree6ed2d043d7b5cc4ca8c0b27452dc085c42a5fe74
parent57e1f2ac07f8a5a064090285738ce47d885e5ce0
parent3d9d5f2fe74f7b9e6e192bcb99f8a2336723269b
Merge pull request #2652 from ivaradi/debian-version-discrepancy

Handle the case when the release version differs from that in VERSION.cmake