commit | e5233fbadf6bfde177d68b961827c35be116e4ba | [log] [tgz] |
---|---|---|
author | Jonah Williams <jonahwilliams@google.com> | Wed Jul 29 16:24:20 2020 -0700 |
committer | GitHub <noreply@github.com> | Wed Jul 29 16:24:20 2020 -0700 |
tree | e1e5eb3aaa054abbf2b507dbfadff089a04f69d7 | |
parent | d189c70a31e036ade482d9bf17bf274ffebb2ac3 [diff] |
[null-safety] migrate to _almost_ null safety (#162) Remove record/replay functionality and update to almost null-safety.