Subject: bug#41137: closed (Re: [bug#41137] [PATCH] gnu: tinyxml2: Update to 8.0.0.)

From: [email-masked] (GNU bug Tracking System)
Date: Sat, 16 May 2020 17:54:01 +0000

Your bug report

#41137: [PATCH 0/1] gnu: tinyxml2: Update to 8.0.0.

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].

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

Subject: Re: [bug#41137] [PATCH] gnu: tinyxml2: Update to 8.0.0.
From: Ludovic Courtès <[email-masked]>
To: Vincent Legoll <[email-masked]>
Cc: [email-masked]
Date: Sat, 16 May 2020 19:53:18 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Vincent Legoll <[email-masked]> skribis:

> * gnu/packages/xml.scm (tinyxml2): Update to 8.0.0.

Applied, thanks!

Ludo’.

Subject: [PATCH 0/1] gnu: tinyxml2: Update to 8.0.0.
From: Vincent Legoll <[email-masked]>
To: [email-masked]
Date: Fri, 8 May 2020 14:50:39 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Tested by rebuilding gromacs, whose test suite uses tinyxml2 and which
still runs OK.

The use of this version of tinyxml2 will be submitted for inclusion
in upstream gromacs, and will also allow to upstream the gromacs
patch related to tinyxml2 update.