Public [act] 539-723, 75th Congress. District of Columbia. H. R. 9227, act to amend act to authorize boxing in District of Columbia, and for other purposes [so as to make supervision of Boxing Commission over intercollegiate boxing optional].