[debbugs-tracker] bug#37544: closed ([PATCH] More doc fixes in package.el)

[GNU bug Tracking System]

Your message dated Fri, 4 Oct 2019 01:22:30 +0200
with message-id <CADwFkmmJZ-Pip-sgj=address@hidden>
and subject line Re: bug#37544: [PATCH] More doc fixes in package.el
has caused the debbugs.gnu.org bug report #37544,
regarding [PATCH] More doc fixes in package.el
to be marked as done.

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


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

--- Begin Message --- Subject: [PATCH] More doc fixes in package.el Date: Sat, 28 Sep 2019 17:58:15 +0200

Here are some more doc fixes for package.el.  Any comments?

Best regards,
Stefan Kangas

0001-More-doc-fixes-in-package.el.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#37544: [PATCH] More doc fixes in package.el
>
>
>
>
> Date: 
>
> Fri, 4 Oct 2019 01:22:30 +0200
>
>
>
>
> Basil L. Contovounesios <address@hidden> writes:
>
> > Otherwise looks fine to me, but I'm not familiar with the relevant code.
>
> No further comments in 6 days.  Pushed as commit 93dd959711.
>
> Best regards,
> Stefan Kangas
>
>
> --- End Message ---