[michaelt]

Before the satellites are launched, their atomic clocks have to be tuned to offset for time dilation.

GPS satellites are all tuned this way, and it has the desired effect.

However, for people implementing GPS receivers, the signal arrives already corrected for time dilation. So the people making that part of the system don't have to know about general relativity at all :)