Bug#942050: gnome-shell: gnome shell does not take the org.gnome.desktop.peripherals.keyboard numlock-state into account

[Jean-Marc]

This problem seems to be solved in the last gnome-shell version 
(3.34.1+git20191024-1).

You can close this bug report.

Regards,

Jean-Marc <jean-m...@6jf.be>
https://6jf.be/keys/ED863AD1.txt

pgpuXLTRrWFC5.pgp
Description: PGP signature