Subject: Re: [bug#32928] [PATCH] gnu: Add bastet.

From: Tobias Geerinckx-Rice <[email-masked]>
Date: Fri, 05 Oct 2018 19:34:32 +0200

Leo,

Leo Famulari wrote:
> On Thu, Oct 04, 2018 at 04:53:19AM +0200, Tobias Geerinckx-Rice 
> wrote:
>> * gnu/packages/games.scm (bastet): New public variable.
>> * 
>> gnu/packages/patches/bastet-change-source-of-unordered_set.patch:
>> New file.
>> * gnu/local.mk (dist_patch_DATA): Add it.
>
> LGTM, thanks!

Thank you! Pushed as fc4738149f5cbaffc8e0b37bfb61e25fac0ecd67.

Kind regards,

T G-R