GNU bug report logs - #47663
[PATCH] website: Add Help dropdown menu

Previous Next

Package: guix-patches;

Reported by: Luis Felipe <luis.felipe.la <at> protonmail.com>

Date: Thu, 8 Apr 2021 19:50:02 UTC

Severity: normal

Tags: patch

Done: Mathieu Othacehe <othacehe <at> gnu.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Luis Felipe <luis.felipe.la <at> protonmail.com>
Subject: bug#47663: closed (Re: [bug#47663] [PATCH] website: Add Help
 dropdown menu)
Date: Sat, 10 Apr 2021 18:52:02 +0000
[Message part 1 (text/plain, inline)]
Your bug report

#47663: [PATCH] website: Add Help dropdown menu

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 47663 <at> debbugs.gnu.org.

-- 
47663: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=47663
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Mathieu Othacehe <othacehe <at> gnu.org>
To: Luis Felipe via Guix-patches via <guix-patches <at> gnu.org>
Cc: Luis Felipe <luis.felipe.la <at> protonmail.com>,
 "pelzflorian \(Florian Pelz\)" <pelzflorian <at> pelzflorian.de>,
 47663-done <at> debbugs.gnu.org
Subject: Re: [bug#47663] [PATCH] website: Add Help dropdown menu
Date: Sat, 10 Apr 2021 20:51:32 +0200
Hello,

> I'd like to address this separately, so I'll file a new issue and provide a patch once I have something.

Fine, pushed this one as 321813e88f06e1743c75a1a3b7fe9a0705514a80.

Thanks,

Mathieu

[Message part 3 (message/rfc822, inline)]
From: Luis Felipe <luis.felipe.la <at> protonmail.com>
To: Luis Felipe via Guix-patches <guix-patches <at> gnu.org>
Subject: [PATCH] website: Add Help dropdown menu
Date: Thu, 08 Apr 2021 19:49:07 +0000
[Message part 4 (text/plain, inline)]
Hi,

This patch converts the Help item of the navigation bar into a dropdown menu as proposed in the thread "Document our WIP" (https://lists.gnu.org/archive/html/guix-devel/2021-03/msg00532.html).


---
Luis Felipe López Acevedo
https://luis-felipe.gitlab.io/
[0001-website-Add-Help-dropdown-menu.patch (text/x-patch, attachment)]

This bug report was last modified 4 years and 124 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.