Merge pull request #1146 from jkczyz/2021-10-score-serialization
authorMatt Corallo <649246+TheBlueMatt@users.noreply.github.com>
Tue, 2 Nov 2021 20:36:22 +0000 (20:36 +0000)
committerGitHub <noreply@github.com>
Tue, 2 Nov 2021 20:36:22 +0000 (20:36 +0000)
Scorer serialization


Trivial merge