projects
/
arvados.git
/ commitdiff
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
d3bd05e
1eb5f8f
)
Merge branch '9303-kill-nodemanager-on-dead-actor' refs #9303
author
Peter Amstutz <peter.amstutz@curoverse.com>
Wed, 25 May 2016 20:30:10 +0000
(16:30 -0400)
committer
Peter Amstutz <peter.amstutz@curoverse.com>
Wed, 25 May 2016 20:30:23 +0000
(16:30 -0400)
Trivial merge