[platform-ui-dev] New Greasemonkey script

[Boris Bokowski <Boris_Bokowski@xxxxxxxxxx>]

The new script should be available at: http://www.eclipse.org/eclipse/platform-ui/greasemonkey/

I had problems getting Greasemonkey to "see" the new content, so to make sure your Greasemonkey script is up to date, please edit it and check that it contains, for example, a new variable called "qa_contact".

If you are using the script to move bugs to platform-ui-triaged@xxxxxxxxxxx, I think it is worth taking the time to look at the bug and deciding whether it is a bug or an enhancement request.

Boris