On 2018-06-14, Valeri Galtsev galtsev@kicp.uchicago.edu wrote:
It turns out you are absolutely right. You only have provide modified source to users to whom you distribute derived work. Found it here:
https://www.gnu.org/licenses/gpl-faq.en.html#GPLRequireSourcePostedPublic
Not totally relevant to this thread, but relevant to repeating: since the code is still GPLv2, if RedHat shares its code with me, I can still redistribute freely, even though RedHat is not necessarily redistributing to the general public. RedHat can not prevent me from redistribution even though I obtained the code under a paid support contract. (At that point RH has zero obligation to anybody who downloads from me, of course.)
--keith