From: Mark Thom Date: Sat, 14 Dec 2024 04:37:56 +0000 (-0700) Subject: Merge pull request #2696 from jasonhemann/patch-3 X-Git-Tag: v0.10.0~97 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=9eef380764645444da81a250cb3f884bf4345cc3;p=scryer-prolog.git Merge pull request #2696 from jasonhemann/patch-3 s/performance characters/performance characteristics/ --- 9eef380764645444da81a250cb3f884bf4345cc3