Bug#648485: RFP: gnome-shell-frippery -- Frippery GNOME Shell extensions

[Jeremy Bícha]

The extensions are now at https://frippery.org/extensions/

Thank you,
Jeremy Bícha