Texas There is no revision history for this page. This page does not exist. The deletion, protection, and move log for the page are provided below for reference. 22:30, 22 May 2016 Deryck Chan talk contribs deleted page Mario (old) (Wikipedia:Redirects for discussion/Log/2016 May 13#Mario (old) closed as delete) 18:01, 14 May 2016 Steel1943 talk contribs moved page Mario (old) to Mario (Mario character) (Move edit history away from odd title)