tree e4bf89f83ed1d87c79111a15b034e03b10a95b69
parent c4d6257d4e210ee560d7dfb22d5ff0fb2adf530c
author Ole Rehmsen <oler@google.com> 1541664768 +0100
committer Ole Rehmsen <oler@google.com> 1541766477 +0100

Replace gr-diff-comment-thread-group with div

This element is now nothing but an empty container, so I think it's
better to just use a div.

Change-Id: I58da47854d2c50608f9e217e7a12e30aad9aca98