So, basically, the copyright holder is cool with how you handled it, right? Cool. End of story.

Now back off you GPL wolves. Sheesh. In fact, you even mention that there's a grace period in GPLv3. But that matters not since the copyright holder has basically said "no harm no foul."

Stop being so harsh, Anon. Sheesh.