Processed: Re: gnome-shell: "Activities" and Dash freeze occasionally on Debian 9.6

[Debian Bug Tracking System]

Processing control commands:

> severity -1 normal
Bug #916452 [gnome-shell] gnome-shell: "Activities" and Dash freeze occasionally on Debian 9.6
Severity set to 'normal' from 'grave'

-- 
916452: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=916452
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems