Merge pull request #1 from acl2/master

Testing reverse pull request
Wacky Merge branch 'master' of https://github.com/ragerdl/acl2
Merge pull request #265 from ragerdl/beta

No changes