Closed guoyiteng closed 4 years ago
This PR documented concurrency and synchronization. I also plan to add a release note at docs/release-notes/release-0.1.md in this PR. I am not sure whether we should use a version number or date such as release-dec-2019.md.
docs/release-notes/release-0.1.md
release-dec-2019.md
The release note is up now at docs/release-note/release-dec-2019.md.
docs/release-note/release-dec-2019.md
Done!
This PR documented concurrency and synchronization. I also plan to add a release note at
docs/release-notes/release-0.1.md
in this PR. I am not sure whether we should use a version number or date such asrelease-dec-2019.md
.