Merge pull request #40 from TheBlueMatt/main
authorMatt Corallo <649246+TheBlueMatt@users.noreply.github.com>
Thu, 19 Aug 2021 18:29:35 +0000 (18:29 +0000)
committerGitHub <noreply@github.com>
Thu, 19 Aug 2021 18:29:35 +0000 (18:29 +0000)
Differentiate inner pointers representing None and Some(ZST)


Trivial merge