GNU bug report logs - #63796
[PATCH] doc: guix.texi: Update outdated URL for Eudev wiki.

Previous Next

Package: guix-patches;

Reported by: Felix Lechner <felix.lechner <at> lease-up.com>

Date: Mon, 29 May 2023 23:54:01 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

Message #10 received at 63796-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Felix Lechner <felix.lechner <at> lease-up.com>
Cc: 63796-done <at> debbugs.gnu.org
Subject: Re: bug#63796: [PATCH] doc: guix.texi: Update outdated URL for
 Eudev wiki.
Date: Thu, 08 Jun 2023 22:58:51 +0200

Felix Lechner <felix.lechner <at> lease-up.com> skribis:

> Change was coordinated with upstream maintainer Boian Bonev.
>
> * doc/guix.texi: Update outdated URL for Eudev wiki.

Applied, thanks!
This bug report was last modified 1 year and 351 days ago.

Previous Next

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