RequestPolicy/requestpolicy — Issue #19: add a "restore default settings" option
Author: jsamuel
Created: 2011-12-22 05:17:45+00:00
State: open
Labels: extension

Add an option in the preferences window to restore default settings.