From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 13 Nov 2021 05:04:51 +0000 (-0500)
Subject: Merge pull request #1087 from Skgland/fix_beta_check
X-Git-Tag: v0.9.0~29
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=b7fa5db5706216f8dc0aaa2c743acb7b865f3c25;p=scryer-prolog.git

Merge pull request #1087 from Skgland/fix_beta_check

fix failing lint warnings in beta build
---

b7fa5db5706216f8dc0aaa2c743acb7b865f3c25