projects / arvados-dev.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 51d325f 6c00c1f)
Merge branch '9050-script-to-delete-merged-branches'
authorJavier Bértoli <javier@curoverse.com>
Wed, 1 Feb 2017 14:59:12 +0000 (11:59 -0300)
committerJavier Bértoli <javier@curoverse.com>
Wed, 1 Feb 2017 14:59:12 +0000 (11:59 -0300)
refs #9050


Trivial merge