emacs-bug-tracker
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Processed: control message for bug #38214

From: GNU bug tracker automated control server
Subject: Processed: control message for bug #38214
Date: Tue, 19 Nov 2019 04:35:02 -0500 
Processing commands for address@hidden:

> merge 38214 38230
bug#38214: [PATCH] gnu: Add minisat.
bug#38230: [PATCH v2] gnu: Add minisat.
Merged 38214 38230.

> quit
Stopping processing here.

Please contact address@hidden if you need assistance.

GNU bugs database, http://debbugs.gnu.org/
reply via email to
[Prev in Thread] Current Thread [Next in Thread]