bug#36462: [PATCH] Prefer progress-reporter in bookmark.el

[Eli Zaretskii]

> From: Stefan Kangas <stefan@marxist.se>
> 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