Subject: Re: bug#67322: 30.0.50; Fix Gnus logo help-echo

From: Manuel Giraud <[email-masked]>
Date: Thu, 23 Nov 2023 19:00:36 +0100

Eric Abrahamsen <[email-masked]> writes:

> Okay, I'll push this in a bit. Thanks again.

Thanks and thank you also for fixing my log message :-)
-- 
Manuel Giraud