[pkg-cinnamon] Bug#872975: problem has gone away

Josef Atmin jatmin at web.de
Mon Sep 4 17:24:20 UTC 2017

Previous message: [pkg-cinnamon] Bug#872975: cinnamon: some keyboard shortcuts do not work
Next message: [pkg-cinnamon] Bug#872975: marked as done (cinnamon: some keyboard shortcuts do not work)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hello,

the problem with the short cuts has gone away, the bug may be closed.

Josef.

Previous message: [pkg-cinnamon] Bug#872975: cinnamon: some keyboard shortcuts do not work
Next message: [pkg-cinnamon] Bug#872975: marked as done (cinnamon: some keyboard shortcuts do not work)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pkg-cinnamon-team mailing list