Merge branch '9303-kill-nodemanager-on-dead-actor' refs #9303
authorPeter Amstutz <peter.amstutz@curoverse.com>
Wed, 25 May 2016 20:30:10 +0000 (16:30 -0400)
committerPeter Amstutz <peter.amstutz@curoverse.com>
Wed, 25 May 2016 20:30:23 +0000 (16:30 -0400)
commit22fb8112e4a66280669cc84a44550172b5a438e7
tree612b8662e828767b07c0cf6b3caec902a8227026
parentd3bd05e221e5b7bf516bb1043bee96ab363c0af8
parent1eb5f8fe7b290813e2c40a8d248280d488fc37fb
Merge branch '9303-kill-nodemanager-on-dead-actor' refs #9303