tree 5ac96eed230b7b2e0304ecb1e8f90a68f4115e4e
parent e28a4fce9675d359844e7899e5d88187a202de97
author Dmitrii Filippov <dmfilippov@google.com> 1602744134 +0200
committer Dmitrii Filippov <dmfilippov@google.com> 1602744134 +0200

Fix crash when gr-diff-host is reloading.

Issue: 13513
Change-Id: I127768a7c2430974aa957dda9af8312874324a4a