bug#37804: getmail service documentation error?

[pelzflorian (Florian Pelz)]

On Fri, Oct 18, 2019 at 08:47:11AM +0100, Christopher Baines wrote:
> The change and patch looks reasonable to me.


Pushed.  Thank you!