Changes to US-5137
2023-08-21 18:19:19
update
(no change comment)
Changed region_code
from "US-OK"
to "US-TX"
Changed region_name
from "Oklahoma"
to "Texas"
Changed region_local_code
from "OK"
to "TX"