Use ABI Manager.
authorPino Toscano <pino@debian.org>
Fri, 16 Dec 2022 17:21:09 +0000 (10:21 -0700)
committerPino Toscano <pino@debian.org>
Mon, 2 Jan 2023 07:20:13 +0000 (07:20 +0000)
commit4249a2459952491f56c2c49012ff4cde40f449fd
treeefd643e2421d47837a7303982fc239abd5331c6f
parent161461a7115551b41d5a422edc82d7ae34a64bd5
Use ABI Manager.

Forwarded: not-needed

Gbp-Pq: Name enable_debianabimanager.diff
CMakeLists.txt