GNU bug report logs - #77972
[PATCH emacs-team] gnu: emacs-idris-mode: Customize and test.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Liliana Marie Prikler <liliana.prikler <at> gmail.com>
Subject: bug#77972: Acknowledgement ([PATCH emacs-team] gnu:
 emacs-idris-mode: Customize and test.)
Date: Mon, 21 Apr 2025 19:33:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

As you requested using X-Debbugs-CC, your message was also forwarded to
  andrew <at> trop.in, csantosb <at> inventati.org, divya <at> subvertising.org, hako <at> ultrarare.space, ian <at> retrospec.tv, cox.katherine.e+guix <at> gmail.com, liliana.prikler <at> gmail.com
(after having been given a bug report number, if it did not have one).

Your message has been sent to the package maintainer(s):
 guix-patches <at> gnu.org

If you wish to submit further information on this problem, please
send it to 77972 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs <at> gnu.org unless you wish
to report a problem with the Bug-tracking system.

-- 
77972: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=77972
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.