From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 12 May 2021 17:02:38 +0000 (-0600)
Subject: Merge pull request #952 from panasenco/dockerfile
X-Git-Tag: v0.9.0~70
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=39aebd7144fa4e1a684d04f90eb1bd8dadf26069;p=scryer-prolog.git

Merge pull request #952 from panasenco/dockerfile

Made rust version in Dockerfile static
---

39aebd7144fa4e1a684d04f90eb1bd8dadf26069