Subject: Re: bug#38002: Please remove this joke

From: Stefan Kangas <[email-masked]>
Date: Thu, 31 Oct 2019 16:46:57 +0100

Cecilio Pardo <[email-masked]> writes:
> Thanks for considering the removal of this joke.

Thanks for reporting this.  I agree that this joke should be removed.

Best regards,
Stefan Kangas