GPS also has a field indicating when the previous or next leap second was or will be; this field is 8 bits or about 5 years. The last leap second was in 2016 and no future leap second has been announced. So GPS needs to mark a non-leap to keep the week offset in bounds.
This happened before in 2003 during the previous long gap in leap seconds (1998-2005).
This happened before in 2003 during the previous long gap in leap seconds (1998-2005).