Subject: Re: bug#26460: New game: Kiki the nano bot

From: Ricardo Wurmus <[email-masked]>
Date: Thu, 13 Apr 2017 13:17:32 +0200

Leo Famulari <[email-masked]> writes:

> On Wed, Apr 12, 2017 at 11:31:45AM +0200, Ricardo Wurmus wrote:
>> The following patches add a new game: Kiki the nano bot.
>
> The patches seem fine to me!

Thanks.  Pushed to master with commit
bd71525b7ad1bb4f6896793ca7f6283e178b3a06.

--
Ricardo

GPG: BCA6 89B6 3655 3801 C3C6  2150 197A 5888 235F ACAC
https://elephly.net