https://www.gnu.org/licenses/gpl-faq.html#WhatDoesWrittenOfferValid https://www.gnu.org/licenses/gpl-faq.html#WhatDoesWrittenOff... If they were distributing t

https://www.gnu.org/licenses/gpl-faq.html#WhatDoesWrittenOfferValid https://www.gnu.org/licenses/gpl-faq.html#WhatDoesWrittenOff... If they were distributing the binaries without any indication that they were GPL'ed (i.e. no written offers), then yes, it would have been a violation. But it's not a violation any longer. They seem to be under compliance.