1. 25 Oct, 2016 19 commits
  2. 24 Oct, 2016 7 commits
  3. 19 Oct, 2016 2 commits
  4. 18 Oct, 2016 8 commits
  5. 17 Oct, 2016 2 commits
  6. 15 Oct, 2016 1 commit
  7. 14 Oct, 2016 1 commit
    • Luke Champine's avatar
      make editors/downloaders exclusive · c14d28c6
      Luke Champine authored
      previously, multiple editors and downloaders could be created for
      the same contract, leading to desynchronization. This is mitigated
      by adding a map to the contractor that tracks which contracts are
      being revised. This is not intended to be a robust solution; it
      would be better to interleave editing and downloading such that
      neither is blocked.
      c14d28c6