Description of problem:
After the most recent updates, it's no more possible to use Ctrl+Alt+L for screen locking, or Ctrl+Alt+Del for logging out from the gnome-shell desktop.
Version-Release number of selected component (if applicable):
Steps to Reproduce:
Created attachment 519837 [details]
My keyboard: German No dead keys
It works again after re-installing pulseaudio. Can't explain that.