Subject: bug#41772: closed (Re: [bug#41772] gnu: bison: Update to 3.6.3.)

From: [email-masked] (GNU bug Tracking System)
Date: Sun, 21 Jun 2020 09:04:01 +0000

Your bug report

#41772: gnu: bison: Update to 3.6.3.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
41772: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41772
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#41772] gnu: bison: Update to 3.6.3.
From: Mathieu Othacehe <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Sun, 21 Jun 2020 11:03:35 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hey,

> Oops! It's a trivial patch, but here you go.

Pushed on core-updates, thanks!

Mathieu

Subject: gnu: bison: Update to 3.6.3.
From: [email-masked]
To: [email-masked]
Date: Tue, 09 Jun 2020 14:46:48 +0900
List-Id: <debbugs-submit.debbugs.gnu.org>

This is a version bump to bison for `core-updates'. As far as I can tell it
builds just fine, but as I am new to guix please sanity check me here.