Merge pull request #1000 from smortex/stdlib
authordavid22swan <david.swan@puppet.com>
Wed, 25 Aug 2021 10:36:08 +0000 (11:36 +0100)
committerGitHub <noreply@github.com>
Wed, 25 Aug 2021 10:36:08 +0000 (11:36 +0100)
(main) Allow stdlib 8.0.0


Trivial merge