This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Make `prev_state` field optional#4837

Merged

erikjohnston merged 3 commits intodevelopfrom erikj/optional_prev_state

Mar 11, 2019

+3-16

Commits on Mar 8, 2019