From debbugs-submit-bounces@debbugs.gnu.org Sat Aug 08 06:42:59 2020 Received: (at submit) by debbugs.gnu.org; 8 Aug 2020 10:42:59 +0000 Received: from localhost ([127.0.0.1]:58249 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k4MJW-0007Iu-W5 for submit@debbugs.gnu.org; Sat, 08 Aug 2020 06:42:59 -0400 Received: from lists.gnu.org ([209.51.188.17]:55392) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k4MJU-0007Ik-JY for submit@debbugs.gnu.org; Sat, 08 Aug 2020 06:42:57 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:40120) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1k4MJU-0002Iz-CH for bug-guix@gnu.org; Sat, 08 Aug 2020 06:42:56 -0400 Received: from wp256.webpack.hosteurope.de ([2a01:488:42:1000:50ed:8519::]:34422) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1k4MJS-0001fa-Fy for bug-guix@gnu.org; Sat, 08 Aug 2020 06:42:56 -0400 Received: from dslb-084-059-126-085.084.059.pools.vodafone-ip.de ([84.59.126.85] helo=[192.168.178.67]); authenticated by wp256.webpack.hosteurope.de running ExIM with esmtpsa (TLS1.3:ECDHE_RSA_AES_128_GCM_SHA256:128) id 1k4MJM-0005Eu-TP; Sat, 08 Aug 2020 12:42:48 +0200 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable From: Max Horn Mime-Version: 1.0 (1.0) Subject: Flint license is wrong Message-Id: Date: Sat, 8 Aug 2020 12:42:48 +0200 To: bug-guix@gnu.org X-Mailer: iPhone Mail (17G68) X-bounce-key: webpack.hosteurope.de;max@quendi.de;1596883374;c0500abd; X-HE-SMSGID: 1k4MJM-0005Eu-TP Received-SPF: none client-ip=2a01:488:42:1000:50ed:8519::; envelope-from=max@quendi.de; helo=wp256.webpack.hosteurope.de X-detected-operating-system: by eggs.gnu.org: First seen = 2020/08/08 06:42:49 X-ACL-Warn: Detected OS = ??? X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_NONE=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action 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 (---) =EF=BB=BFHi there, The license of the "flint" package is currently set to gpl2+ but it really i= s lgpl2.1+ Also, there was a bugfix release 2.6. which you might want to update to. Cheers Max= From debbugs-submit-bounces@debbugs.gnu.org Sat Aug 08 10:56:16 2020 Received: (at 42759) by debbugs.gnu.org; 8 Aug 2020 14:56:16 +0000 Received: from localhost ([127.0.0.1]:59469 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k4QGd-00029u-Rm for submit@debbugs.gnu.org; Sat, 08 Aug 2020 10:56:15 -0400 Received: from tobias.gr ([80.241.217.52]:32790) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k4QGb-00029l-S4 for 42759@debbugs.gnu.org; Sat, 08 Aug 2020 10:56:14 -0400 Received: by tobias.gr (OpenSMTPD) with ESMTP id a3ff55ad; Sat, 8 Aug 2020 14:56:33 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=tobias.gr; h=from:to:cc :subject:references:in-reply-to:date:message-id:mime-version :content-type; s=2018; i=me@tobias.gr; bh=D838SU/na1PBI79eZPllx6 ciFGG4VfBujaLK5PhE2kA=; b=Tl2qPcWlL3wCVNq9eBDNkZnOdj0rWr5orKia3x Encz2y/WmgoU7xbu42jq8+plfummLHblZnxa7GFepfVxFHfXeWt5pDTo+tgg2hKE se6sD7PtI9hP/bqYKIv+jMn87lauHnrHOzD70WyUKJSaBOVeeLvT1hg4fz1Btk88 doBVDSyh/DQMhOFqccVX2gBYt73QjT3HhdRN9QP5dUo6Tfj5JzCLsR69N0cy7JG+ /P2FD+p28coXOZ9gsNBWfcV978nN/9QWwdhQCHndTawe6Ny/5fZe3OPpCTPEK1I7 34JbyO/JcwDzJiJcAjCOPwAj5mAWJXkSQO84u36f38e8RBGQ== Received: by submission.tobias.gr (OpenSMTPD) with ESMTPSA id 03ddc62f (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Sat, 8 Aug 2020 14:56:32 +0000 (UTC) BIMI-Selector: v=BIMI1; s=default; From: Tobias Geerinckx-Rice To: Max Horn Subject: Re: bug#42759: Flint license is wrong References: In-reply-to: Date: Sat, 08 Aug 2020 16:56:16 +0200 Message-ID: <87imdtmbjj.fsf@nckx> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 42759 Cc: 42759@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: -3.3 (---) --=-=-= Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable Hullo Max, Max Horn =E5=86=99=E9=81=93=EF=BC=9A > The license of the "flint" package is currently set to gpl2+ but=20 > it really is lgpl2.1+ Could you elaborate? How did you test this? > Also, there was a bugfix release 2.6. which you might want to=20 > update to. Done, thanks! Kind regards, T G-R --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQT12iAyS4c9C3o4dnINsP+IT1VteQUCXy69EAAKCRANsP+IT1Vt eTkoAP9GqvZqjyxH08I4ABim/Yr5DxbEvVZF/RYruH4uX69AWgEAlnF5I21BRRS0 b1A+KZtkKguGfcOKEZr020xNH3EsMgc= =IZYi -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat Aug 08 11:23:18 2020 Received: (at 42759) by debbugs.gnu.org; 8 Aug 2020 15:23:18 +0000 Received: from localhost ([127.0.0.1]:59488 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k4Qgn-00051K-Sl for submit@debbugs.gnu.org; Sat, 08 Aug 2020 11:23:18 -0400 Received: from wp256.webpack.hosteurope.de ([80.237.133.25]:44210) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k4Qgk-000519-8i for 42759@debbugs.gnu.org; Sat, 08 Aug 2020 11:23:16 -0400 Received: from dslb-084-059-126-085.084.059.pools.vodafone-ip.de ([84.59.126.85] helo=[192.168.178.67]); authenticated by wp256.webpack.hosteurope.de running ExIM with esmtpsa (TLS1.3:ECDHE_RSA_AES_128_GCM_SHA256:128) id 1k4Qgg-0002Xi-LR; Sat, 08 Aug 2020 17:23:10 +0200 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable From: Max Horn Mime-Version: 1.0 (1.0) Subject: Re: bug#42759: Flint license is wrong Date: Sat, 8 Aug 2020 17:23:10 +0200 Message-Id: <2EA056B4-B4E9-4260-9B70-134A4209A574@quendi.de> References: <87imdtmbjj.fsf@nckx> In-Reply-To: <87imdtmbjj.fsf@nckx> To: Tobias Geerinckx-Rice X-Mailer: iPhone Mail (17G68) X-bounce-key: webpack.hosteurope.de;max@quendi.de;1596900194;9f46bc02; X-HE-SMSGID: 1k4Qgg-0002Xi-LR X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 42759 Cc: 42759@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, > Am 08.08.2020 um 16:56 schrieb Tobias Geerinckx-Rice : >=20 > =EF=BB=BFHullo Max, >=20 > Max Horn =E5=86=99=E9=81=93=EF=BC=9A >> The license of the "flint" package is currently set to gpl2+ but it reall= y is lgpl2.1+ >=20 > Could you elaborate? How did you test this? What, that the license is lgpl2.1+ ? That's what the website states (right a= t the top of the front page), along with an explanation that the license cha= nged from 2.5 to 2.6. It is also what the README and the LICENSE files state= . So it looks to me as if whoever updated the package from 2.5.2 to 2.6.0 did n= ot pay attention and missed the license change. >=20 >> Also, there was a bugfix release 2.6. which you might want to update to. >=20 > Done, thanks! Great! Cheers Max >=20 > Kind regards, >=20 > T G-R From debbugs-submit-bounces@debbugs.gnu.org Sat Aug 08 15:09:08 2020 Received: (at 42759) by debbugs.gnu.org; 8 Aug 2020 19:09:08 +0000 Received: from localhost ([127.0.0.1]:59609 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k4UDM-00020x-J8 for submit@debbugs.gnu.org; Sat, 08 Aug 2020 15:09:08 -0400 Received: from tobias.gr ([80.241.217.52]:59790) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k4UDH-00020l-8X for 42759@debbugs.gnu.org; Sat, 08 Aug 2020 15:09:07 -0400 Received: by tobias.gr (OpenSMTPD) with ESMTP id e696a04c; Sat, 8 Aug 2020 19:09:22 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=tobias.gr; h=from:to:cc :subject:references:in-reply-to:date:message-id:mime-version :content-type; s=2018; i=me@tobias.gr; bh=a4xs9HZ7iLXZi9O/6jx5Pj YZxXgXV0WKq4okiVETydY=; b=dPm9L+wKlQn95ZNR2Dff9AghehKHHRsIqTjPnl ST20ZTqYJZlQwOa9ky918xhtxM7Kj+igZwt7f0HDRoLua889SlhaFgmWIaTuIPVY D+sqdk1V8pOBgfDJiwYdCaPL+f3F5m1pSyGH+2ulUO2HXg72zqEWTnuLAHKFrBQC jqPStROUquybVT5NFxrxQRneXmCng9SQLPQtGt0A4G1v5Y+60GlaUfZhHjIx/Dnc P18MGoWpn9XgJR8utKUwbvqNptk/7HV5Yr/TYEFhRLONwQiPRameGJ9D4OTbkVEH pPbgpk/xY/p6CeffNwxMNjN2NePioSJfzeegfZ4j2JueuRcQ== Received: by submission.tobias.gr (OpenSMTPD) with ESMTPSA id 4cadddef (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Sat, 8 Aug 2020 19:09:21 +0000 (UTC) BIMI-Selector: v=BIMI1; s=default; From: Tobias Geerinckx-Rice To: Max Horn Subject: Re: bug#42759: Flint license is wrong References: <87imdtmbjj.fsf@nckx> <2EA056B4-B4E9-4260-9B70-134A4209A574@quendi.de> In-reply-to: <2EA056B4-B4E9-4260-9B70-134A4209A574@quendi.de> Date: Sat, 08 Aug 2020 21:09:05 +0200 Message-ID: <87tuxdc5v2.fsf@nckx> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 42759 Cc: 42759@debbugs.gnu.org, Jakub =?utf-8?B?S8SFZHppb8WCa2E=?= 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 (---) --=-=-= Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable Max, Max Horn =E5=86=99=E9=81=93=EF=BC=9A > What, that the license is lgpl2.1+ ? Yes. > That's what the website states (right at the top of the front=20 > page), along with an explanation that the license changed from=20 > 2.5 to 2.6. It is also what the README and the LICENSE files=20 > state. I'm aware. That's why I considered it implausible that... > whoever updated the package from 2.5.2 to 2.6.0 did not pay=20 > attention and missed the license change. Of course only Jakub (CC'd) can know for sure. :-) I opened an issue[0] upstream earlier today but no reply yet. If=20 these GPL2+ headers are meaningful *in any jurisdiction*, we=20 *can't* claim that our FLINT is LGPL2+. Nor can upstream. I was unable to build FLINT without these files. Kind regards, T G-R [0]: https://github.com/wbhart/flint2/issues/812 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQT12iAyS4c9C3o4dnINsP+IT1VteQUCXy74UQAKCRANsP+IT1Vt eatUAQCy59cp1O+XPcqdV9c7SKHCfXZcq6XkzhNlK/Z04OO0kwD+L2ocLUYjG89k Ad3xlQ5PbbbEjemKM495z2wWdrAEsgw= =jGib -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat Aug 08 15:12:56 2020 Received: (at 42759-done) by debbugs.gnu.org; 8 Aug 2020 19:12:56 +0000 Received: from localhost ([127.0.0.1]:59615 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k4UH2-000263-2E for submit@debbugs.gnu.org; Sat, 08 Aug 2020 15:12:56 -0400 Received: from tobias.gr ([80.241.217.52]:59970) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k4UH0-00025w-QR for 42759-done@debbugs.gnu.org; Sat, 08 Aug 2020 15:12:55 -0400 Received: by tobias.gr (OpenSMTPD) with ESMTP id 662db597; Sat, 8 Aug 2020 19:13:15 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=tobias.gr; h=from:to:cc :subject:references:in-reply-to:date:message-id:mime-version :content-type; s=2018; i=me@tobias.gr; bh=Wjx+Aqp5HchX5IqoaFfmvD jZkfN5qboasPhOcR4t/D4=; b=GwB4sXe+tU8NFI4PsvpUpFu+2d6+2qpF+/aUjx VZCOW31Jp+3qZMvoido9iN8EwkXuc0qp6o/9i9DtyKxcLUWxaBpPYAoOpFBruVdD qu7d/PxHEfXx1Zym4CiNj4NDQMFXChNDn+2YyZQ5jTSxmzFvhe6gqTt0jJjkwP24 W94d39JoXqNm5eXQzbh5bFDJQ5TcLoXxhzMfpjKbRlq7/Ra6226abSrqOtPW6XEj IbOkS6FHtjj5SZdKdRcmXEAZ0M6EFFK8yCfkGGacl/2/hqQXRTR7SAKYIhIimOK5 +wpq0Ut3yNdIanDX5x8sk9lH6YEEEJEdqEzviDb1v8gYc0Rw== Received: by submission.tobias.gr (OpenSMTPD) with ESMTPSA id ceedcfff (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Sat, 8 Aug 2020 19:13:15 +0000 (UTC) BIMI-Selector: v=BIMI1; s=default; From: Tobias Geerinckx-Rice To: Max Horn Subject: Re: bug#42759: Flint license is wrong References: <87imdtmbjj.fsf@nckx> <2EA056B4-B4E9-4260-9B70-134A4209A574@quendi.de> <87tuxdc5v2.fsf@nckx> In-reply-to: <87tuxdc5v2.fsf@nckx> Date: Sat, 08 Aug 2020 21:12:58 +0200 Message-ID: <87r1shc5ol.fsf@nckx> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 42759-done Cc: 42759-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: -3.3 (---) --=-=-= Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable Hah, Tobias Geerinckx-Rice =E5=86=99=E9=81=93=EF=BC=9A > I opened an issue[0] upstream earlier today but no reply yet. Naturally, as soon as I send this, I get a notification this will=20 be fixed upstream.[0] I'll add a comment to our flint package that the licence can be=20 changed to LGPL-2.1+ on the next FLINT release. Thanks! Closing, T G-R > [0]: https://github.com/wbhart/flint2/issues/812 --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQT12iAyS4c9C3o4dnINsP+IT1VteQUCXy75OwAKCRANsP+IT1Vt eVXHAQCanibgqQ3jLTk4p7BLdmusbMbuELdilWNwRfmWh4i6OwEA16gMZO4IDEey QU/giFd8vvbZ4NJzCKIke35fhsFeqQ4= =ASRK -----END PGP SIGNATURE----- --=-=-=-- From debbugs-submit-bounces@debbugs.gnu.org Sat Aug 15 16:11:12 2020 Received: (at 42759) by debbugs.gnu.org; 15 Aug 2020 20:11:12 +0000 Received: from localhost ([127.0.0.1]:56507 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k72WF-0001db-T7 for submit@debbugs.gnu.org; Sat, 15 Aug 2020 16:11:12 -0400 Received: from tobias.gr ([80.241.217.52]:45350) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k72WD-0001dN-5r for 42759@debbugs.gnu.org; Sat, 15 Aug 2020 16:11:10 -0400 Received: by tobias.gr (OpenSMTPD) with ESMTP id 04b0c3e1 for <42759@debbugs.gnu.org>; Sat, 15 Aug 2020 20:11:31 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=tobias.gr; h=from:to :subject:date:message-id:mime-version:content-type; s=2018; i= me@tobias.gr; bh=SNPd1lYkfsKOzEEuOq72q2T/+l3Lms6xwLMuDooKIoA=; b= ZSwc8H9lKrPlo6Tn5WOEtqaM77Xly2ishINLyITvDC0JdXPEXFnohrtsdokbCu4k DThama1dxqoBXc4tCCxBzpZeNMojnwh88azADYEKuAC0ShFpBp/+uXz7L+Gv4LaT /GmFKEZyn5OBq1NZ9uAszT7XVFgF+y72Zz8yysdFLJcIJIM0o0Jyz98kvgjMkFcp nLAk+6UFbNDx6mUiA3iqYhCdtetA5lCPpxHs8dyuqlFZDBj1jm7iKi1VybCEKe4U J/MCqdJ23zOzkY8v6PJFA+TTtEFdFuMA2ZUF6zOQVAhe9COaImtC8E7YMSViWNNX y6tFhNxVP2xS2EFOnuXaow== Received: by submission.tobias.gr (OpenSMTPD) with ESMTPSA id 1b1d59b7 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <42759@debbugs.gnu.org>; Sat, 15 Aug 2020 20:11:30 +0000 (UTC) BIMI-Selector: v=BIMI1; s=default; From: Tobias Geerinckx-Rice To: 42759@debbugs.gnu.org Subject: Flint licence updated Date: Sat, 15 Aug 2020 22:11:10 +0200 Message-ID: <878sefk6u9.fsf@nckx> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 42759 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 (---) --=-=-= Content-Type: text/plain; format=flowed Commit eefa30c1c6db0772fc1af16de57e71b607903b56 updates Flint to 2.6.3 which is now LGPL. Kind regards, T G-R --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQT12iAyS4c9C3o4dnINsP+IT1VteQUCXzhBXwAKCRANsP+IT1Vt ecShAQCJHkUSXj1CuK2S8u8dCi5VbZKJS2hQ1auV4gh11bwfngEAul77i5G4TYDE 7HBwQ4WKbl106h4+qds06Op/TdRq/ww= =YfCX -----END PGP SIGNATURE----- --=-=-=-- From unknown Sun Jun 15 01:06:00 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sun, 13 Sep 2020 11:24:05 +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