[acl2/acl2] 368517: This is a dummy commit, to mark the starting point...

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 36851786c69a1b36d7c5bec8ee59b1eb4d550eac
https://github.com/acl2/acl2/commit/36851786c69a1b36d7c5bec8ee59b1eb4d550eac
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-03-19 (Thu, 19 Mar 2026)

Changed paths:
M acl2.lisp

Log Message:
-----------
This is a dummy commit, to mark the starting point for releasing the next version (ACL2 8.7).



To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

[MattKaufmann]

Branch: refs/heads/testing