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