Greetings! The GCL team is happy to announce the release of version 2.6.12, the latest achievement in the 'stable' (as opposed to 'development') series. Please see http://www.gnu.org/software/gcl for downloading information.

This release was largely motivated to accelerate closure construction and compiler hash table performance for ACL2(h). Along the way, support was added for ACL2 static-consing, making GCL at present one of two lisps offering this optimization for very large and heavy jobs. This release also features a TAGS target in make, a variety of compiler speed improvements, an overhaul and standardization of the error, conditions, and restart systems, protection of system and fork from SIGPROF, and getc/putc from SIGINT, faster l2 list functions and nani/address, proper handling of missing objdump and generic TMP environment variables, processing of mismatched fast-link calls slowly without error, ppc64le and aarch64 fixes, support for the si::*link-list* fast-linking diagnostic, more robust segfault trapping, and full pathname fixes to the unradomize/re-exec mechanism.

From the git log: