[acl2/acl2] 45c9f8: Add a to-do item.

[MattKaufmann]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 45c9f854b72a1d67d02dbfdc5c3c3e576c65f9da
https://github.com/acl2/acl2/commit/45c9f854b72a1d67d02dbfdc5c3c3e576c65f9da
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2025-09-22 (Mon, 22 Sep 2025)

Changed paths:
M books/projects/hol-in-acl2/to-do.txt

Log Message:
-----------
Add a to-do item.



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

[acl2buildserver]

Branch: refs/heads/testing