fpmurphy/GNOME-3.6-Shell-Extensions — pull request #1 by krakensden (2014-11-24 02:39:22+00:00)
Title: Fix -r[eload]

This lets you specify an extension to reload