projects / arvados.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 997479d e821b67)
Merge branch '10785-remove-debian7'
authorWard Vandewege <ward@curoverse.com>
Thu, 29 Dec 2016 13:36:37 +0000 (08:36 -0500)
committerWard Vandewege <ward@curoverse.com>
Thu, 29 Dec 2016 13:36:37 +0000 (08:36 -0500)
closes #10785


Trivial merge