Bug#958258: Use system libminini-dev

To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: Bug#958258: Use system libminini-dev
From: Yangfl <mmyangfl@gmail.com>
Date: Mon, 20 Apr 2020 09:12:30 +0800
Message-id: <[🔎] CAAXyoMNk8=q5A9crNRpH2d3GgGpGyBywad=H13YOxTtDt4BZiA@mail.gmail.com>
Reply-to: Yangfl <mmyangfl@gmail.com>, 958258@bugs.debian.org

Source: drc
Severity: wishlist

Hi,

As libminini-dev is now available, please consider linking against
system library instead of bundled minIni.c.

Reply to: