I added a copyright line, tweaked the commit message and pushed the
patch as 083809229bf199399c33b072056be77dbfd75555.
In the following commits, I updated/fixed some packages depending on
gnuradio to make them work with the new version.