Skip to content
This repository has been archived by the owner on Sep 27, 2019. It is now read-only.

Skip adding READs to the RWSet #1425

Merged
merged 2 commits into from
Jun 24, 2018
Merged

Skip adding READs to the RWSet #1425

merged 2 commits into from
Jun 24, 2018

Commits on Jun 22, 2018

  1. Skip recording READs in the RWSet.

    @mbutrovich
    mbutrovich committed Jun 22, 2018
    Configuration menu
    Copy the full SHA
    7555ffb View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2018

  1. Merge branch 'master' into skip_reads

    @tli2
    tli2 authored Jun 24, 2018
    Configuration menu
    Copy the full SHA
    7b78404 View commit details
    Browse the repository at this point in the history