Bug#942272: gnome-shell: numlock state is reversed

[debian-edid]

Hi
Sorry for late response. Yes it was fixed after gnome upgrade.

Regards,
Edi D