[debbugs-tracker] bug#32700: closed ()

[GNU bug Tracking System]

Your message dated Tue, 2 Oct 2018 15:46:55 -0400
with message-id <address@hidden>
and subject line Re: [bug#32700] [PATCH 1/3] gnu: Add r-rbenchmark.
has caused the debbugs.gnu.org bug report #32700,
regarding 
to be marked as done.

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


-- 
32700: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=32700
GNU Bug Tracking System
Contact address@hidden with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
>
>
>
>
>
> Date: 
>
> Tue, 11 Sep 2018 12:40:29 +0000
>
>
>
>
>
>
> Mădălin Ionel Patrașcu
>
> System Administrator
> Bioinformatics Platform
> The Berlin Institute for Medical Systems Biology (BIMSB)
> Max Delbrück Center (MDC)
> Robert-Rössle-Straße 10
> House 87, room 1.10
> 13125 Berlin, Germany
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#32700] [PATCH 1/3] gnu: Add r-rbenchmark. Date: Tue, 2 Oct 2018 15:46:55 -0400 User-agent: Mutt/1.10.1 (2018-07-13)

On Tue, Sep 11, 2018 at 03:18:25PM +0200, pimi wrote:
> gnu/packages/cran.scm (r-rbenchmark): New variable.

Thanks! I pushed the patch series as
d8d8844ec12c017480e83cd541e98b55e18a17f4

signature.asc
Description: PGP signature

--- End Message ---