bug#41137: closed ([PATCH 0/1] gnu: tinyxml2: Update to 8.0.0.)

[GNU bug Tracking System]

Your message dated Sat, 16 May 2020 19:53:18 +0200
with message-id <address@hidden>
and subject line Re: [bug#41137] [PATCH] gnu: tinyxml2: Update to 8.0.0.
has caused the debbugs.gnu.org bug report #41137,
regarding [PATCH 0/1] gnu: tinyxml2: Update to 8.0.0.
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
41137: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=41137
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/1] gnu: tinyxml2: Update to 8.0.0.
>
>
>
>
> Date: 
>
> Fri, 8 May 2020 14:50:39 +0200
>
>
>
>
> User-agent: 
>
> Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0
>
>
>
>
> 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.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#41137] [PATCH] gnu: tinyxml2: Update to 8.0.0.
>
>
>
>
> Date: 
>
> Sat, 16 May 2020 19:53:18 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)
>
>
>
>
> Hi,
>
> Vincent Legoll <address@hidden> skribis:
>
> > * gnu/packages/xml.scm (tinyxml2): Update to 8.0.0.
>
> Applied, thanks!
>
> Ludo’.
>
>
> --- End Message ---