From: Mark Thom Date: Wed, 28 May 2025 05:18:47 +0000 (-0700) Subject: Merge pull request #2965 from rotu/zygomorphic-puma X-Git-Tag: v0.10.0~45 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=f49a0ae79b513f63b55c26fb59fe736d4ae655bb;p=scryer-prolog.git Merge pull request #2965 from rotu/zygomorphic-puma Remove obsolete compatibility for Rust<1.80 --- f49a0ae79b513f63b55c26fb59fe736d4ae655bb