Hi Greg,
I'm seeing something strange on a system running the August stable
release of galaxy-dist,
$ sudo -u galaxy hg head
changeset: 10393:d05bf67aefa6
branch: stable
tag: tip
user: Nate Coraor <nate@bx.psu.edu>
date: Mon Aug 12 11:55:41 2013 -0400
summary: Added tag release_2013.08.12 for changeset 1ae95b3aa98d
changeset: 10390:009088d5e76f
user: Ross Lazarus <ross.lazarus@gmail.com>
date: Sat Aug 10 11:28:28 2013 +1000
summary: Patch for missing options in FromDataTableOutputActionOption when these are used in an output filter
1. Run Galaxy
2. Log in as an administrator
3. Click on Admin (top menu)
4. Click on "Manage installed tool shed repositories" (left menu)
5. Observe duplicate entries: