GNU bug report logs - #69392
[PATCH gnome-team 0/2] Add entries for important gnome-team changes

Previous Next

Package: guix-patches;

Reported by: Vivien Kraus <vivien <at> planete-kraus.eu>

Date: Sun, 25 Feb 2024 18:03:02 UTC

Severity: normal

Tags: patch

Done: Liliana Marie Prikler <liliana.prikler <at> gmail.com>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: "pelzflorian (Florian Pelz)" <pelzflorian <at> pelzflorian.de>
To: Vivien Kraus <liliana.prikler <at> gmail.com>
Cc: 69392 <at> debbugs.gnu.org, rg <at> raghavgururajan.name, Vivien Kraus <vivien <at> planete-kraus.eu>, maxim.cournoyer <at> gmail.com
Subject: [bug#69392] [PATCH v3 2/3] news: Add entry for GDM defaulting to wayland.
Date: Tue, 27 Feb 2024 09:33:28 +0100
P.S.

Vivien Kraus <liliana.prikler <at> gmail.com> writes:
> +        (title
> +         (de "GNOME Display Manager nutzt nun standardgemäß Wayland")[…])
> +        (body
> +         (de "Der Dienst @code{gdm-service-type} ist verwendet nun standardgemäß
> +Wayland anstelle von Xorg.")

Please write “als Vorgabe” instead of “standardgemäß” in both German
title and body, because it is the translation of “by default” that is
used everywhere in the German manual.

Regards,
Florian




This bug report was last modified 1 year and 55 days ago.

Previous Next


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