Merge pull request #2335 from cgwalters/write-regfile-api
authorJonathan Lebon <jonathan@jlebon.com>
Mon, 12 Apr 2021 20:48:27 +0000 (16:48 -0400)
committerGitHub <noreply@github.com>
Mon, 12 Apr 2021 20:48:27 +0000 (16:48 -0400)

Trivial merge