https://en.wikipedia.org/wiki/Debian%E2%80%93Mozilla_tradema...|

It is Mozilla public license, not GPL, but the story is the same.

Or look at CentOS (before it was acquired by RedHat)