From: Mark Thom Date: Tue, 13 Apr 2021 03:55:58 +0000 (-0600) Subject: Merge pull request #897 from panasenco/master X-Git-Tag: v0.9.0~103 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=5452b55e38446633ceb5931508a6399c1f7690db;p=scryer-prolog.git Merge pull request #897 from panasenco/master Switched to cargo-chef for preparing the Docker image --- 5452b55e38446633ceb5931508a6399c1f7690db