bug#63883: closed (Modus themes online manual)

[GNU bug Tracking System]

Your message dated Sun, 04 Jun 2023 11:47:33 +0300
with message-id <83zg5f62ca.fsf@gnu.org>
and subject line Re: bug#63883: Modus themes online manual
has caused the debbugs.gnu.org bug report #63883,
regarding Modus themes online manual
to be marked as done.

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


-- 
63883: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=63883
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> Modus themes online manual
>
>
>
>
> Date: 
>
> Sun, 04 Jun 2023 02:44:28 +0000
>
>
>
>
> Guys,
>
> The link to the modus themes manual -- 
> https://www.gnu.org/software/emacs/manual/modus-themes.html -- presents itself 
> as the EWW manual, which is misleading.
>
> Cheers.
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#63883: Modus themes online manual
>
>
>
>
> Date: 
>
> Sun, 04 Jun 2023 11:47:33 +0300
>
>
>
>
> > Date: Sun, 04 Jun 2023 02:44:28 +0000
> > From:  Mauritz Stenek via "Bug reports for GNU Emacs,
> >  the Swiss army knife of text editors" <bug-gnu-emacs@gnu.org>
> > 
> > The link to the modus themes manual -- 
> > https://www.gnu.org/software/emacs/manual/modus-themes.html -- presents 
> > itself as the EWW manual, which is misleading.
>
> Thanks, fixed.
>
>
> --- End Message ---