正式成为州定假日

该法案于1979年在德克萨斯州议会通过，并于1980年1月1日正式成为州定假日。

可能包含错误。