Subject: [bug#65012] Extract mINI library from Picket package

From: Sergio Pastor Pérez <[email-masked]>
Date: Sun, 10 Sep 2023 17:42:04 +0200

This 2 patches extract the mINI library from the Picket package.