This repository has been archived by the owner on Feb 18, 2021. It is now read-only.

syncset: concurrent set #253

Merged

kirg merged 2 commits into master from syncset

Jul 18, 2017

Contributor

kirg commented Jul 18, 2017

No description provided.


          syncset

644ed44

kirg requested a review from datoug

July 18, 2017 22:37


          use read-lock in empty and count

b16da68

datoug approved these changes

View reviewed changes

kirg merged commit 9f74915 into master

coveralls commented Jul 18, 2017

Coverage decreased (-0.1%) to 67.905% when pulling b16da68 on syncset into 341f94e on master.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet