3 ms·

I don't think that violates the GPL, it does only if you distribute the modified version without also providing the source changes.