Date: Tuesday, July 15, 2008 @ 08:07:28 Author: paul Revision: 5326 db-move: gstreamer0.10-bad-plugins removed by paul for move to extra Deleted: gstreamer0.10-bad-plugins/repos/extra-x86_64/