Subject: Re: [bug#30272] [PATCH 3/3] gnu: Add Aseba.

From: [email-masked] (Ludovic Courtès)
Date: Tue, 30 Jan 2018 16:56:14 +0100

I went ahead and pushed this series.  Have fun with your Thymio.  :-)

Ludo’.