bug#62531: closed (29.0.60; Duplicate defcustom eww-download-directory)

[GNU bug Tracking System]

Your message dated Wed, 29 Mar 2023 21:29:33 +0300
with message-id <835yaj76nm.fsf@gnu.org>
and subject line Re: bug#62531: 29.0.60; Duplicate defcustom 
eww-download-directory
has caused the debbugs.gnu.org bug report #62531,
regarding 29.0.60; Duplicate defcustom eww-download-directory
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
62531: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=62531
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> 29.0.60; Duplicate defcustom eww-download-directory
>
>
>
>
> Date: 
>
> Wed, 29 Mar 2023 20:20:14 +0200
>
>
>
>
> There are two defcustoms with the name `eww-download-directory' in
> eww.el. The issue has been introduced in commit
> d941666d8593bbee5a50262b2c4177ffa2010e56.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#62531: 29.0.60; Duplicate defcustom eww-download-directory
>
>
>
>
> Date: 
>
> Wed, 29 Mar 2023 21:29:33 +0300
>
>
>
>
> > From: Daniel Mendler <mail@daniel-mendler.de>
> > Date: Wed, 29 Mar 2023 20:20:14 +0200
> > 
> > There are two defcustoms with the name `eww-download-directory' in
> > eww.el. The issue has been introduced in commit
> > d941666d8593bbee5a50262b2c4177ffa2010e56.
>
> Oops, sorry.  Should be fixed now.
>
>
> --- End Message ---