tree 375342ac0921eb1ae1cd444e7f452f7d727227a0
parent 4a268cdfcd41817413ff45814cdd8851d00ada8e
author Edwin Kempin <ekempin@google.com> 1607523407 +0100
committer Edwin Kempin <ekempin@google.com> 1607523690 +0100

Add kudo for David Ostrovsky for helping me with code coverage generation

Signed-off-by: Edwin Kempin <ekempin@google.com>
Change-Id: Ib7c764d597e7dd4264223dac1c610b79c9b5379f