[debbugs-tracker] bug#36462: closed ([PATCH] Prefer progress-reporter in bookmark.el)

[GNU bug Tracking System]

Your message dated Sat, 06 Jul 2019 11:48:03 +0300
with message-id <address@hidden>
and subject line Re: bug#36462: [PATCH] Prefer progress-reporter in bookmark.el
has caused the debbugs.gnu.org bug report #36462,
regarding [PATCH] Prefer progress-reporter in bookmark.el
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] Prefer progress-reporter in bookmark.el Date: Mon, 1 Jul 2019 19:14:33 +0200

The attached patch changes remaining uses of `message' to
`make-progress-reporter' where it makes sense in bookmark.el.

Thanks,
Stefan Kangas

0001-Prefer-progress-reporter-in-bookmark.el.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#36462: [PATCH] Prefer progress-reporter in bookmark.el
>
>
>
>
> Date: 
>
> Sat, 06 Jul 2019 11:48:03 +0300
>
>
>
>
> > From: Stefan Kangas <address@hidden>
> > Date: Mon, 1 Jul 2019 19:14:33 +0200
> > 
> > The attached patch changes remaining uses of `message' to
> > `make-progress-reporter' where it makes sense in bookmark.el.
>
> Thanks, pushed to the master branch.
>
> Would it be possible for you to send a patch when the bug number is
> already known, and then include the reference to the bug number in the
> log message?  E.g., send just the description first, and the actual
> patch after you receive the acknowledgement with the bug number.  That
> would allow to apply the patch with "git am", without the necessary
> followup with "git commit --amend".
>
> TIA
>
>
> --- End Message ---