Some shell extensions are presented twice
Submitted by David Demelier
Link to original bug (#783827)
Description
Created attachment 353829 duplicate entries
In the GNOME Shell extensions category, some addons are presented twice. See the attached screenshot.