Subject: Re: [PATCH v2] gnu: Add python-3.8.

From: Marius Bakke <[email-masked]>
Date: Tue, 19 Nov 2019 21:54:39 +0100

Hi Tanguy,

Whoops, did not notice this patch in my previous message!

I've applied it with the name change as suggested.

Thank you!