candlepin/subscription-manager — pull request #21 by jbowes (2012-05-24 12:51:33+00:00)
Title: 818397: Rename subscription-manager-gnome to -gui

Do the proper obsoletes and provides for updates, too!