Merge pull request #6518 from joukewitteveen/process-rename
authorEvgeny Vereshchagin <evvers@ya.ru>
Fri, 4 Aug 2017 11:54:47 +0000 (14:54 +0300)
committerGitHub <noreply@github.com>
Fri, 4 Aug 2017 11:54:47 +0000 (14:54 +0300)
commita93e2f65eb75389b10896f44c93365cefa775d9b
treee05c931e4b8ac99f9cfeaf4bcdba9c111346ddf3
parent785889e56d26c60755c4a76b1dc5eccd8296a6df
parent049c884a3b0617bb8923b69722f024f434601562
Merge pull request #6518 from joukewitteveen/process-rename

process-util: update the end pointer of the process name on rename