Is it? From my understanding, he only needs to give the full source (with a GPL license) to people he's distributing the binaries to.