[debbugs-tracker] bug#37804: closed (getmail service documentation error?)

[GNU bug Tracking System]

Your message dated Fri, 18 Oct 2019 10:02:31 +0200
with message-id <20191018080231.xqm73vngjpeprhca@pelzflorian.localdomain>
and subject line Re: getmail service documentation error?
has caused the debbugs.gnu.org bug report #37804,
regarding getmail service documentation error?
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden.)


-- 
37804: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=37804
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: getmail service documentation error? Date: Fri, 18 Oct 2019 09:05:29 +0200 User-agent: NeoMutt/20180716

The documentation of the getmail service’s delete_after setting is
confusing and appears to contradict upstream documentation at
<http://pyropus.ca/software/getmail/configuration.html>.

I am not sure, but the code in the getmail file in the getmail source
code also appears to call destination.deliver_message before deleting,
in agreement with upstream.

Can someone with knowledge check?  Shall I push the attached patch?

Regards,
Florian

0001-Fix-documentation-of-delete_after-in-the-getmail-ser.patch
Description: Text document

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: getmail service documentation error?
>
>
>
>
> Date: 
>
> Fri, 18 Oct 2019 10:02:31 +0200
>
>
>
>
> User-agent: 
>
> NeoMutt/20180716
>
>
>
>
> On Fri, Oct 18, 2019 at 08:47:11AM +0100, Christopher Baines wrote:
> > The change and patch looks reasonable to me.
>
>
> Pushed.  Thank you!
>
>
> --- End Message ---