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

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