[acl2/acl2] 57f180: Succinct headers with short description

[Stephen Westfold]

Branch: refs/heads/cleanup-quicklisp
Home: https://github.com/acl2/acl2
Commit: 57f18054e43b72df981bf6cd43e69cab2acfce44
https://github.com/acl2/acl2/commit/57f18054e43b72df981bf6cd43e69cab2acfce44
Author: Stephen Westfold <west...@kestrel.edu>
Date: 2026-06-24 (Wed, 24 Jun 2026)

Changed paths:
M books/quicklisp/dexador.lisp
M books/quicklisp/usocket.lisp
M books/quicklisp/zippy.lisp

Log Message:
-----------
Succinct headers with short description



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