guix-patches
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Mathieu Othacehe
Subject: [bug#38230] [PATCH v2] gnu: Add minisat.
Date: Tue, 19 Nov 2019 17:30:52 +0100
User-agent: mu4e 1.2.0; emacs 26.3 
Hello Robert,

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

Thanks,

Mathieu
reply via email to
[Prev in Thread] Current Thread [Next in Thread]