[acl2/acl2] 98d444: Fixed commit earlier today that added new release ...

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 98d444b48f459939137572142f5a2f6652d019b7
https://github.com/acl2/acl2/commit/98d444b48f459939137572142f5a2f6652d019b7
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-04-20 (Thu, 20 Apr 2017)

Changed paths:
M books/system/doc/acl2-doc.lisp
M doc.lisp

Log Message:
-----------
Fixed commit earlier today that added new release note items to :doc note-7-4 instead of :doc note-7-5.

[GitHub]

Branch: refs/heads/testing