[debbugs-tracker] bug#31735: closed ([PATCH] Document xorg keymap configuration)

[GNU bug Tracking System]

Your message dated Fri, 8 Jun 2018 20:40:10 +0200
with message-id <address@hidden>
and subject line Re: [bug#31735] [PATCH] Document xorg keymap configuration
has caused the debbugs.gnu.org bug report #31735,
regarding [PATCH] Document xorg keymap configuration
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
31735: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=31735
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: [PATCH] Document xorg keymap configuration Date: Wed, 6 Jun 2018 19:05:53 +0200

Hi, this patch adds an example configuration for using a different
keyboard layout in xorg.

0001-doc-Document-xorg-keymap-configuration.patch
Description: Text Data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#31735] [PATCH] Document xorg keymap configuration
>
>
>
>
> Date: 
>
> Fri, 8 Jun 2018 20:40:10 +0200
>
>
>
>
> Le Fri, 08 Jun 2018 18:42:58 +0200,
> address@hidden (Ludovic Courtès) a écrit :
>
> > 
> > … I really hope we can soon improve on this and provide an abstract
> > mechanism to specify the keyboard layout for everything from GRUB to
> > X.
>
> Same here. Anyway, pushed as 136a1e8b577a5f44e7ff35e24d81d13be922f2af.
>
> > 
> > Thanks,
> > Ludo’.
>
>
>
> --- End Message ---