Subject: [bug#38230] [PATCH v2] gnu: Add minisat.

From: Mathieu Othacehe <[email-masked]>
Date: Tue, 19 Nov 2019 17:30:52 +0100

Hello Robert,

I fixed a small indentation issue, added both patches to local.mk, 
edited commit message accordingly and pushed!

Thanks,

Mathieu