From: Mark Thom Date: Thu, 13 Feb 2025 07:23:11 +0000 (-0800) Subject: Merge pull request #2818 from adri326/stream-cleanup X-Git-Tag: v0.10.0~74 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=35c1880937fbf15ec605d9e90828376134cd04fc;p=scryer-prolog.git Merge pull request #2818 from adri326/stream-cleanup Fix various issues around close/1 and stream realiasing --- 35c1880937fbf15ec605d9e90828376134cd04fc