From unknown Mon Jun 23 07:47:16 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#38433 <38433@debbugs.gnu.org> To: bug#38433 <38433@debbugs.gnu.org> Subject: Status: ProofGeneral and Emacs sharing a profile Reply-To: bug#38433 <38433@debbugs.gnu.org> Date: Mon, 23 Jun 2025 14:47:16 +0000 retitle 38433 ProofGeneral and Emacs sharing a profile reassign 38433 guix submitter 38433 Brett Gilio severity 38433 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Fri Nov 29 22:39:01 2019 Received: (at submit) by debbugs.gnu.org; 30 Nov 2019 03:39:01 +0000 Received: from localhost ([127.0.0.1]:33703 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iatb3-0006VU-0I for submit@debbugs.gnu.org; Fri, 29 Nov 2019 22:39:01 -0500 Received: from lists.gnu.org ([209.51.188.17]:59106) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iatb0-0006VK-EN for submit@debbugs.gnu.org; Fri, 29 Nov 2019 22:38:58 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:46104) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iatax-0008E2-Oj for bug-guix@gnu.org; Fri, 29 Nov 2019 22:38:58 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-2.8 required=5.0 tests=BAYES_05,RCVD_IN_DNSWL_MED, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iatas-0003BW-A4 for bug-guix@gnu.org; Fri, 29 Nov 2019 22:38:53 -0500 Received: from mout02.posteo.de ([185.67.36.66]:46687) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iatar-00037F-8m for bug-guix@gnu.org; Fri, 29 Nov 2019 22:38:49 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id 7AF922400E6 for ; Sat, 30 Nov 2019 04:38:47 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1575085127; bh=u+r/mtJspwdvZNANO/2aqYdo7ZMu+pDokMRWQzy8h/A=; h=From:To:Subject:Date:From; b=W0UE7c+WY+jjJVbVMeRdw0puMOi3Lvvoa69IUOzH8j47xM1trkQ2RFnYunvNm6ygs BPRpMQeaBCwqTaw81YFwDg65m+h0Ae+yD9V0RtF09CUNr7qLBb3c+iHft1OEgiTsV3 k3zWyCCQZElZj2AalcM9pguCicANTH1QAObpGZ3H+mKrw2W0T/Qycc8E8v5xekpzil 5t+MhJ0o0YrrGZ67Ia19oYW2ccBZsXA8JDxXxf5CPxWDsbV77edSlScQmbI1zd5KIz OlZObLK69O/VWNjKjaL6XIgj9TStnNYAl138vjkIwzmSP39qxUp5DzJval27H5ufiy tvjErfZ1J3UGQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 47PxtZ2TyMz9rxN for ; Sat, 30 Nov 2019 04:38:45 +0100 (CET) From: Brett Gilio To: bug-guix@gnu.org Subject: ProofGeneral and Emacs sharing a profile Date: Fri, 29 Nov 2019 21:38:50 -0600 Message-ID: <87zhget4mt.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 185.67.36.66 X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) There is an issue after the EMACSLOADPATH change that creates a problem when `proof-general` and `emacs` share a profile. This issue can be replicated as follows: --8<---------------cut here---------------start------------->8--- $ guix environment --ad-hoc proof-general emacs --8<---------------cut here---------------end--------------->8--- When you launch the client of either of these after spinning up the environment, you are prompted with this from the *Messages* buffer. --8<---------------cut here---------------start------------->8--- Loading /gnu/store/bi3yv2q84fpyq1ym9z8rpa8hv2xhz1bf-profile/share/emacs/site-lisp/ProofGeneral/generic/proof-autoloads...done Loading /gnu/store/bi3yv2q84fpyq1ym9z8rpa8hv2xhz1bf-profile/share/emacs/site-lisp/ProofGeneral/generic/proof-autoloads... byte-code: Already loaded --8<---------------cut here---------------end--------------->8--- Loading stops without an error message at this point, failing to complete the initialization process. I can probably figure out this issue, but I am currently drained for time, so I am reporting it here. If nobody else gets to it before I do, I will come back to it. Thanks! -- Brett M. Gilio https://git.sr.ht/~brettgilio/ From debbugs-submit-bounces@debbugs.gnu.org Sat Nov 30 02:42:42 2019 Received: (at submit) by debbugs.gnu.org; 30 Nov 2019 07:42:42 +0000 Received: from localhost ([127.0.0.1]:33749 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iaxOs-0005c8-Id for submit@debbugs.gnu.org; Sat, 30 Nov 2019 02:42:42 -0500 Received: from lists.gnu.org ([209.51.188.17]:58904) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iaxOq-0005c0-RQ for submit@debbugs.gnu.org; Sat, 30 Nov 2019 02:42:41 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:48513) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iaxOp-00067x-OE for bug-guix@gnu.org; Sat, 30 Nov 2019 02:42:40 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iaxOo-0007JS-Kb for bug-guix@gnu.org; Sat, 30 Nov 2019 02:42:39 -0500 Received: from lepiller.eu ([89.234.186.109]:55764) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1iaxOo-0007Bi-0S for bug-guix@gnu.org; Sat, 30 Nov 2019 02:42:38 -0500 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 66025444; Sat, 30 Nov 2019 07:42:33 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=lepiller.eu; h=date :in-reply-to:references:mime-version:content-type :content-transfer-encoding:subject:to:from:message-id; s=dkim; bh=JmGmljIbglae6atIlyccvVJYEaQ=; b=j8flhh+sseXFqtPCDLDMU3ImRlOx fXnAqaiMCjjgzc1B0oPESgtorNzxrr18VIF+qT7BtIzeRvUGPO3uYRnuepPtqHy2 qQCou38Et81fux24Gl6XTxYRH6UuAf3lGznLO7uL798bmjGCvq2jJHzTDNB1pDN/ fIFQYEAKG85xz+4IB1b3fBs4WdBU6q2XnDNl9qgJFEUnQO5lU+xczRwpKo8UK/PU 7aYlqVZHLyTigeErpOXzo06qJ5d2UnxHcntKYa0he9445g3ejdDawYA4w2pQx5g+ YHQYmiF7Q45DtrnX2ABXBxlwzIH2iYtzuAy6iJNm4YaMw169ukPzFPRuIA== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 8f641400 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Sat, 30 Nov 2019 07:42:33 +0000 (UTC) Date: Sat, 30 Nov 2019 08:42:29 +0100 User-Agent: K-9 Mail for Android In-Reply-To: <87zhget4mt.fsf@posteo.net> References: <87zhget4mt.fsf@posteo.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: Re: bug#38433: ProofGeneral and Emacs sharing a profile To: bug-guix@gnu.org,Brett Gilio ,38433@debbugs.gnu.org From: Julien Lepiller Message-ID: <7899596C-6400-4A84-8546-5A5F2853AA07@lepiller.eu> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 89.234.186.109 X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) Le 30 novembre 2019 04:38:50 GMT+01:00, Brett Gilio a= =C3=A9crit : > >There is an issue after the EMACSLOADPATH change that creates a problem >when `proof-general` and `emacs` share a profile=2E This issue can be >replicated as follows: > >--8<---------------cut here---------------start------------->8--- >$ guix environment --ad-hoc proof-general emacs >--8<---------------cut here---------------end--------------->8--- > >When you launch the client of either of these after spinning up the >environment, you are prompted with this from the *Messages* buffer=2E > >--8<---------------cut here---------------start------------->8--- >Loading >/gnu/store/bi3yv2q84fpyq1ym9z8rpa8hv2xhz1bf-profile/share/emacs/site-lisp= /ProofGeneral/generic/proof-autoloads=2E=2E=2Edone >Loading >/gnu/store/bi3yv2q84fpyq1ym9z8rpa8hv2xhz1bf-profile/share/emacs/site-lisp= /ProofGeneral/generic/proof-autoloads=2E=2E=2E >byte-code: Already loaded >--8<---------------cut here---------------end--------------->8--- > >Loading stops without an error message at this point, failing to >complete the initialization process=2E > >I can probably figure out this issue, but I am currently drained for >time, so I am reporting it here=2E If nobody else gets to it before I do, >I will come back to it=2E > >Thanks! It could pg's fault=2E We have a vcry old vcrsion that is probably complet= ely broken=2E I tried to package a newer version, but being not an emacs us= er it was too hard for me=2E Maybe someone can give it a try (you? :p) From debbugs-submit-bounces@debbugs.gnu.org Sat Nov 30 17:12:49 2019 Received: (at submit) by debbugs.gnu.org; 30 Nov 2019 22:12:49 +0000 Received: from localhost ([127.0.0.1]:35259 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ibAyu-00063L-Ls for submit@debbugs.gnu.org; Sat, 30 Nov 2019 17:12:48 -0500 Received: from lists.gnu.org ([209.51.188.17]:47122) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ibAys-000634-OD for submit@debbugs.gnu.org; Sat, 30 Nov 2019 17:12:47 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:40989) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ibAyr-0000AF-EW for bug-guix@gnu.org; Sat, 30 Nov 2019 17:12:46 -0500 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=-4.2 required=5.0 tests=BAYES_00,RCVD_IN_DNSWL_MED, URIBL_BLOCKED autolearn=disabled version=3.3.2 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ibAyp-0001lA-Tz for bug-guix@gnu.org; Sat, 30 Nov 2019 17:12:45 -0500 Received: from mout02.posteo.de ([185.67.36.66]:46653) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1ibAyp-0001hG-Ed for bug-guix@gnu.org; Sat, 30 Nov 2019 17:12:43 -0500 Received: from submission (posteo.de [89.146.220.130]) by mout02.posteo.de (Postfix) with ESMTPS id 41BF32400FB for ; Sat, 30 Nov 2019 23:12:40 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=posteo.net; s=2017; t=1575151960; bh=NryjgOkkOwpS2Mp7bJNiCgUCRDp4hFtuXs43yUMxBtI=; h=From:To:Cc:Subject:Date:From; b=rYIFWbNnBJZPTAJU6wQwzQlm95bTNbyIYkWfL7uG7VAW6PrJNT2NIXyA00jzREWpd +hwIe6NkBxN6Opm7cBnb4XgzfWFlUibxO9kQddDR8yUfYC9ISPtUtwugZ3CFsSvF/W /sAPf29oJShcAlmtEymHeoJ24DHYloEQaQGQMFvWeZwJERK3vyE6K1zOz81pKq0SmM Ued1FJnkrySnzKamU70l7ZqOWi6Nfju7mnwBmrVPNCdoDa+aAr+wLIEN9c5qMT4hl7 4NEfVg2gXIYtmkelJ/ZlybTILmApoYq0EQqHnL3op7g4O3dgFU+TffqGBKcDI6zXY/ LVnOGzuFIONAQ== Received: from customer (localhost [127.0.0.1]) by submission (posteo.de) with ESMTPSA id 47QQbp4ddRz9rxG; Sat, 30 Nov 2019 23:12:38 +0100 (CET) From: Brett Gilio To: Julien Lepiller Subject: Re: bug#38433: ProofGeneral and Emacs sharing a profile References: <87zhget4mt.fsf@posteo.net> <7899596C-6400-4A84-8546-5A5F2853AA07@lepiller.eu> Date: Sat, 30 Nov 2019 16:12:44 -0600 In-Reply-To: <7899596C-6400-4A84-8546-5A5F2853AA07@lepiller.eu> (Julien Lepiller's message of "Sat, 30 Nov 2019 08:42:29 +0100") Message-ID: <87mucdm2sj.fsf@posteo.net> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 185.67.36.66 X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit Cc: bug-guix@gnu.org, 38433@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.3 (--) Julien Lepiller writes: > It could pg's fault. We have a vcry old vcrsion that is probably > completely broken. I tried to package a newer version, but being not > an emacs user it was too hard for me. Maybe someone can give it a try > (you? :p) I have began working updating the package. :) A lot of things have changed between the current version in Guix, and the latest upstream. So I want to be thorough. Will update on the status and send a patch soon. -- Brett M. Gilio https://git.sr.ht/~brettgilio/ From debbugs-submit-bounces@debbugs.gnu.org Mon Nov 29 03:58:59 2021 Received: (at 38433-done) by debbugs.gnu.org; 29 Nov 2021 08:59:00 +0000 Received: from localhost ([127.0.0.1]:37046 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mrcV1-0001Rq-ND for submit@debbugs.gnu.org; Mon, 29 Nov 2021 03:58:59 -0500 Received: from mail-wm1-f53.google.com ([209.85.128.53]:39435) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1mrcV0-0001Re-58 for 38433-done@debbugs.gnu.org; Mon, 29 Nov 2021 03:58:58 -0500 Received: by mail-wm1-f53.google.com with SMTP id n33-20020a05600c502100b0032fb900951eso16153601wmr.4 for <38433-done@debbugs.gnu.org>; Mon, 29 Nov 2021 00:58:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version:content-transfer-encoding; bh=vmUcpjWjzF9k9g0+FqSf9K9xvRzEClPZmds27DX/2Bw=; b=nIyhaDMDrBg9Lt7TTGnf6iHal+/f2/Z2lH9T3W3AzY7duALTdJ/bOVQAE0qBMTHiIT ln+yIVQr994yL2KjWx7cHhXfKK+Zej9CUxc0JkrbxM5puLd+r2ITnoBlUMgCqxQu86ZT k57AVNroLQYEw95dHseq8985rjC1ZdXT+foDKIqzWPrTZZTIX1/c5plajIMnvfsHyGDc B1Lu7jv/DGVqo6uGiiKJusE4kA7zJNKFi3WkHy32C0zpQEXHi+rN6nLbHJqChI8taowa VwgbkySE22dcI8ALA5UXJXdi0LNw5UomuJIP+GCzm4w149dqHc5CLX01O1n2bvtXqpPr H9mg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version:content-transfer-encoding; bh=vmUcpjWjzF9k9g0+FqSf9K9xvRzEClPZmds27DX/2Bw=; b=xIQIURD3W3hwv6S7bsXpFobBGFItquamu+DHyzdTOATQ3Lo6MUBDh7FT+5cr1g3Y35 wXa4iWCy6G/3GKLkRjRUJmhU6pAhto656HwKWn9c9kY09yvhExef/Ez5OtbRcOGskW4i adyb9ZFl4IS65+Uxo7wM+azM67DYKaUWxEpQpmYfnj07Vqk7W48rKEv4nxPU7dgGRAnj IIg0AqheYty4phfki0PriyWpGyU4NO1AjtfitXXjhFDBfQttdVTlyTUW6XyuBjFZhZZc NkakcneikOGH61vXpkojX3JIZfRRNi7HvRFCyTfOg4CCZBn3z+YNuJpKyjKrKtg0rKG6 KnMA== X-Gm-Message-State: AOAM530FEiA2y3KI/8CjrFcvqORknQ3+3oJVHnXnexMs1inoSMNeifgs VEFG/HG8P0Wq8GD2RlxawZliS4856SU= X-Google-Smtp-Source: ABdhPJygYMAU1jODMhPb/CY0TuoTWbSiaDQ1PYMbjT3DQ+ZQWrENdRCypWIHxkLoll45izpYLBZ4Pg== X-Received: by 2002:a05:600c:3788:: with SMTP id o8mr34352693wmr.82.1638176332034; Mon, 29 Nov 2021 00:58:52 -0800 (PST) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id r7sm12838070wrq.29.2021.11.29.00.58.51 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 29 Nov 2021 00:58:51 -0800 (PST) From: zimoun To: Brett Gilio Subject: Re: bug#38433: ProofGeneral and Emacs sharing a profile References: <87zhget4mt.fsf@posteo.net> Date: Mon, 29 Nov 2021 09:57:20 +0100 In-Reply-To: <87zhget4mt.fsf@posteo.net> (Brett Gilio's message of "Fri, 29 Nov 2019 21:38:50 -0600") Message-ID: <86fsrftk3z.fsf@gmail.com> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 38433-done Cc: 38433-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) Hi, On Fri, 29 Nov 2019 at 21:38, Brett Gilio wrote: > There is an issue after the EMACSLOADPATH change that creates a problem > when `proof-general` and `emacs` share a profile. This issue can be > replicated as follows: > > $ guix environment --ad-hoc proof-general emacs > > > When you launch the client of either of these after spinning up the > environment, you are prompted with this from the *Messages* buffer. > > Loading /gnu/store/bi3yv2q84fpyq1ym9z8rpa8hv2xhz1bf-profile/share/emacs/s= ite-lisp/ProofGeneral/generic/proof-autoloads...done > Loading /gnu/store/bi3yv2q84fpyq1ym9z8rpa8hv2xhz1bf-profile/share/emacs/s= ite-lisp/ProofGeneral/generic/proof-autoloads... > byte-code: Already loaded > > Loading stops without an error message at this point, failing to > complete the initialization process. Commit cb296dfa2e2938d18ae0ee347bed0cc94bc79cf8 fixes this issue. The command, guix shell -C emacs proof-general -E TERM \ -- emacs foo.v leads to this =E2=80=99*Messages*=E2=80=99: --8<---------------cut here---------------start------------->8--- Loading /gnu/store/wbr97j47i3z6m19gycm6ryb6k0xdlg3i-proof-general-4.4-0.bc8= 6736\ /share/emacs/site-lisp/ProofGeneral/proof-general-autoloads.el (source)...d= one For information about GNU Emacs and the GNU system, type C-h C-a. (New file) Coq project file not detected. --8<---------------cut here---------------end--------------->8--- Therefore, closing. Feel free to reopen if I miss something or misunderstand your report. Cheers, simon From unknown Mon Jun 23 07:47:16 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Mon, 27 Dec 2021 12:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator