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

Processed: control message for bug #67787

From: GNU bug tracker automated control server
Subject: Processed: control message for bug #67787
Date: Mon, 25 Dec 2023 12:39:02 -0500 
Processing commands for control@debbugs.gnu.org:

> merge 67787 67786
bug#67786: [PATCH] doc: Add documentation for define-record-type*
bug#67787: [PATCH] doc: Add documentation for define-record-type*
Merged 67786 67787.

> quit
Stopping processing here.

Please contact help-debbugs@gnu.org if you need assistance.

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