Use ABI Manager.
authorPino Toscano <pino@debian.org>
Fri, 16 Dec 2022 17:21:09 +0000 (10:21 -0700)
committerPino Toscano <pino@debian.org>
Tue, 19 Dec 2023 17:16:16 +0000 (18:16 +0100)
commit897fd417e77797d27c090a1b81febb76f7970176
treec201c33cf51b25b37b9805f0baa90c1e1a7e06a7
parentb69cc351d6c44b80e4a30951182924691eb4fc0e
Use ABI Manager.

Forwarded: not-needed

Gbp-Pq: Name enable_debianabimanager.diff
CMakeLists.txt