Subject: Re: [bug#57419] [PATCH] gnu: add python-grid5000

From: Marius Bakke <[email-masked]>
Date: Tue, 30 Aug 2022 18:00:47 +0200

[email-masked] skriver:

> Thanks Marius for the review,
>
> I'm sending the update. 
> There are no suitable tests here, and I changed the licence to GPLv3
> everywhere.
>
> Let me know if anything else is needed.

Thanks!  I filled in the commit message (noting the new variable in
python-web.scm), and also added a copyright line for you, hope that was
okay.

Pushed in c19a432652f2fb544eaf918fe287aa898748d76c.