Gps users need to be aware.
Nope. GPS time does not include leap seconds.
If you compare UTC time and GPS time, you'll see that GPS is 20_ seconds behind.