Subject: Re: bug#37804: getmail service documentation error?

From: "pelzflorian (Florian Pelz)" <[email-masked]>
Date: Fri, 18 Oct 2019 10:09:13 +0200

On Fri, Oct 18, 2019 at 10:02:31AM +0200, pelzflorian (Florian Pelz) wrote:
> On Fri, Oct 18, 2019 at 08:47:11AM +0100, Christopher Baines wrote:
> > The change and patch looks reasonable to me.
> 
> 
> Pushed.  Thank you!
> 
> 
> 

I forgot prefixing the commit with doc.  Too late now.  Sorry.