Processed: Bug#1038972 marked as pending in gnome-shell

[Debian Bug Tracking System]

Processing control commands:

> tag -1 pending
Bug #1038972 [gnome-shell] gnome-shell: Gnome Extensions turn off after logout (with errors in gjs)
Ignoring request to alter tags of bug #1038972 to the same tags previously set

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