projects / arvados.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7a43001 df8d0ba)
Merge branch 'wtsi-hgi-9231-rename-redunancy-to-replication-desired'
authorTom Clegg <tom@curoverse.com>
Fri, 20 May 2016 14:01:55 +0000 (10:01 -0400)
committerTom Clegg <tom@curoverse.com>
Fri, 20 May 2016 14:01:55 +0000 (10:01 -0400)
closes #9231


Trivial merge