Thursday, September 27, 2012  Greasemonkey 1.3 Release  The
entire list of bugs handled in this release is also available
via the 1.3 milestone on GitHub. Note that as always it takes
some time for Mozilla to review the new version, but it's
available on the all versions page immediately.   Bug fixes:
Greasemonkey 1.2 Release  Update: I accidentally left issue
#1643 in this release, and noticed it just a bit after making it
public.  So this release has been pulled.  The entire list of
bugs handled in this release is also available via the 1.2
milestone on GitHub. Note that as always it takes some time for
Mozilla to review the new version, but it's available on the all
versions page immediately.     • Add resources property to
GM_info. (#1610) Bug fixes:  Friday, September 14, 2012  The
Design of Greasemonkey 1.0  This is a long, deep, technical
post.  The goal is to share Greasemonkey's history, to help
explain how the decisions made in Greasemonkey 1.0 were
reached.  Hopefully if you have any interest in u