Quoting :doc note-6-5:

  Fixed a bug in [make-event] that could cause [include-book] to fail
  with a bogus message about ``the set of ttags permitted in the
  current context.'' Thanks to Sol Swords and Anna Slobodova for
  reporting this bug, and to Sol for sending a small example that
  illustrated the problem.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1270 5d84a466-a78b-0930-a311-59b22171a541
Oops, missed adding the release note addition for the preceding check-in; adding it now.

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1271 5d84a466-a78b-0930-a311-59b22171a541