https://bugzilla.redhat.com/show_bug.cgi?id=1060852
--- Comment #6 from Alec Leamas leamas.alec@gmail.com --- Nor am I, and I might have given wrong (well, incomplete ;) ) info on this earlier. If you choose to promote, you also need to patch the sources [1]. Although not that complicated in this case, it might be easier just to expand the license tag.
[1] http://www.gnu.org/licenses/gpl-faq.html#v3HowToUpgrade