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.
Funny. Every manufacturer of equipment that we use sent me info on how to deal with it. Sub centimeter accuracy survey grade gps. Umm yes it does matter.