Merge commit '7e76b6d191e1173bd85337a2861d9914922f5a0d' into kraken * commit '7e76b6d191e1173bd85337a2861d9914922f5a0d': Hopefully fix issue #2662536: Why is launcher being killed?
Merge commit '7e76b6d191e1173bd85337a2861d9914922f5a0d' into kraken * commit '7e76b6d191e1173bd85337a2861d9914922f5a0d': Hopefully fix issue #2662536: Why is launcher being killed?